Explore projects

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.

Tristan's "Do Not Shoot The Snowman" game, done in Perl/Tk (graphicalsnowman) and ANSI colour codes and Unicode..