Explore projects
-
-
Tristan's "Do Not Shoot The Snowman" game, done in Perl/Tk (graphicalsnowman) and ANSI colour codes and Unicode..
Updated -
Pancake numbers are an obscure number theory sequence, defined as:
pancake(n) = smallest number of "pancake stack flips" to get the worst case stack-of-n-pancakes sorted. p(1)=0; p(2)=1 [casse ba], p(3)=3]; p(18) unknown
Updated -
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.
Updated