various updates
[~bandali/bndl.org] / projects.m4
CommitLineData
ea39cfbe
AB
1dnl -*- html -*-
2define(__title, `Projects')dnl
3define(__slug, `projects')dnl
4include(header.html)dnl
5
6<article id="projects">
7<h1>Projects</h1>
8
9<dl>
10<dt><a href="//git.emacsconf.org/bandali/refinery-theme">refinery-theme</a></dt>
11<dd>A refined, minimalist, layered colour theme for GNU Emacs</dd>
12
13<dt><a href="//git.emacsconf.org/bandali/george-mode">george-mode</a></dt>
14<dd>Emacs major mode for editing George files</dd>
15
16<dt><a href="//git.emacsconf.org/bandali/alloy-catalyst">alloy-catalyst</a></dt>
17<dd>Framework for performance analysis of Alloy models</dd>
18
19<dt><a href="//github.com/unitb/unitb-web">unitb-web</a></dt>
20<dd>Web interface for Unit-B</dd>
21
22<dt><a href="//github.com/unitb/tex2png-hs">tex2png-hs</a></dt>
23<dd>Library and CLI for converting TeX and LaTeX to PNG images</dd>
24</dl>
25</article>
26
27define(__copy, `2020')dnl
28include(footer.html)dnl