dnl -*- html -*- define(__title, `Projects')dnl define(__slug, `projects')dnl include(header.html)dnl

Projects

refinery-theme
A refined, minimalist, layered colour theme for GNU Emacs
george-mode
Emacs major mode for editing George files
alloy-catalyst
Framework for performance analysis of Alloy models
unitb-web
Web interface for Unit-B
tex2png-hs
Library and CLI for converting TeX and LaTeX to PNG images
define(__copy, `2020')dnl include(footer.html)dnl