| | 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 |
projects / ~bandali / bndl.org / blame_incremental