recmo/Codecup-2014-Poly-Y
My entry for the 2014 Codecup Poly-Y competition. See http://www.codecup.nl/intro.php.
Developer Profile
recmo
Discovered public repositories for recmo in the GitHub catalog.
recmo/Codecup-2013-Symple
My entry for the 2013 Codecup competition. See http://archive.codecup.nl/2013/.
recmo/Principia
Futuristic programming, reasoning and proof language
recmo/exhereses
My custom packages for the Exherbo Linux distribution
recmo/BitGovPrototype
BitGov prototype interface
recmo/XCompile
Specify compose key sequences in a simple language.