various updates
[~bandali/bndl.org] / projects.m4
1 dnl -*- html -*-
2 define(__title, `Projects')dnl
3 define(__slug, `projects')dnl
4 include(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
27 define(__copy, `2020')dnl
28 include(footer.html)dnl