2 define(__title, `Projects')dnl
3 define(__slug, `projects')dnl
4 include(header.html)dnl
6 <article id="projects">
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>
13 <dt><a href="//git.emacsconf.org/bandali/george-mode">george-mode</a></dt>
14 <dd>Emacs major mode for editing George files</dd>
16 <dt><a href="//git.emacsconf.org/bandali/alloy-catalyst">alloy-catalyst</a></dt>
17 <dd>Framework for performance analysis of Alloy models</dd>
19 <dt><a href="//github.com/unitb/unitb-web">unitb-web</a></dt>
20 <dd>Web interface for Unit-B</dd>
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>
27 define(__copy, `2020')dnl
28 include(footer.html)dnl