## Projects

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.

## Products

A chemical bond drawer for the web and for iOS.

### Curves

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.

### Quarantine

A proxy for schools which lets teachers switch off the
internet access of their classes.

## Articles

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.