Twan van Laarhoven
Magic Set Editor
A program to design playing cards for Magic™ and other games. Written in C++, GPL licensed.
Justitia - programming judge
A system for judging programming exercises done by students.
MOLTAP — A Modal Logic Tableau Prover
An automatic theorem prover for modal logics such as KD, S4 and S5
flinderCMS - content management system
A content management system writen in PHP, abandoned for several years.
Simple reflection of expressions containing variables
A variation of Data.Set. Multisets, sometimes also called bags, can contain multiple copies of the same key.
Packaged string library (deprected, use Data.Text instead)
Functor deriving in