Software

Large projects

2001-presentMagic Set EditorA program to design playing cards for Magic™ and other games. Written in C++, GPL licensed.
2009-2010Justitia - programming judgeA system for judging programming exercises done by students.
MOLTAP — A Modal Logic Tableau ProverAn automatic theorem prover for modal logics such as KD, S4 and S5
2005-2006flinderCMS - content management systemA content management system writen in PHP, abandoned for several years.

Haskell libraries

simple-reflectSimple reflection of expressions containing variables
Data.MultiSetA variation of Data.Set. Multisets, sometimes also called bags, can contain multiple copies of the same key.
Data.CompactStringPackaged string library (deprected, use Data.Text instead)

Smaller contributions

Functor deriving in GHC