Bandali's Personal Site

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