projects / ~bandali / bndl.org / blame
| Commit | Line | Data |
|---|---|---|
| ea39cfbe AB |
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 |