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