Scheme-like language written in Haskell, including practical and extensible features.
A formally verified type system for JavaScript based on the Calculus of constructors.
A test-suite and docs generator for JSON APIs built around cURL.
An intelligent STL viewer for the web with shape recognition.
Makes typesetting easy, rendering collections of Markdown files as LaTeX formatted books.
A graph visualizer for the web utilizing an interpreter of an APL dialect to evaluate input.
Statistical performance testing for JavaScript.
A JavaScript dialect providing more uniform syntax and the ability to define macros.
A chemical bond drawer for the web and for iOS.
An iPad app for the graphing of mathematical functions on the plane.
iPad apps for students and teachers enabling file upload and new interactions with the Brainhoney platform.
A platform for trade organizations allowing them to notify their members of new legislature.
A person-to-person file transfer app consisting of drag and drop sharing over link-based channels.
A proxy for schools which lets teachers switch off the internet access of their classes.
Some basic group theory was used in deriving "macros" for the effective manipulation of Rubik's cubes.
Some basic model theory was used in verifying an interpreter defined in terms of basic algebra.
A book on abstraction of computation, from the design of Lambda Calculus to the simulation, interpretation, and self-hosting of a Lisp.