phlegmaticprogrammer/ExperimentalVM
Experimenting with Virtual Machines
Developer Profile
phlegmaticprogrammer
Discovered public repositories for phlegmaticprogrammer in the GitHub catalog.
phlegmaticprogrammer/HipCam
Tools for recording Hiproofs in hol-light and visualising them in a web browser
phlegmaticprogrammer/clojure_util
Public repository.
phlegmaticprogrammer/btree
Purely functional btree implementation in Clojure.
phlegmaticprogrammer/tillich_zemor_hash
Implementation of Tillich-Zemor hashing in Clojure/Java.
phlegmaticprogrammer/parsatron
Clojure parser combinators
phlegmaticprogrammer/appengine-magic
A library designed to make it easy to use Google App Engine from Clojure
phlegmaticprogrammer/Babel-17
A dynamically-typed programming language for purely functional structured programming.