Explore projects
-
Tests of ElasticSearch to find Anagrams. Change just the IP address embedded in $elastic in Defns.pm
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 -