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.