Projects

Occasionally I hammer things together out of bits and bytes. Most of the publicly-available code I write these days goes up on GitHub.

Wurm

Wurm is a universal register machine which runs in the browser.

Firmin

Firmin is a JavaScript animation library that uses CSS transforms and transitions to create smooth, hardware-accelerated animations. I wrote an extensive article describing the library and its development.

Udon

Udon is a library for practical functional programming with JavaScript. It ports various elements of Haskell’s Data.List library to JavaScript, as well as providing facilities for currying and function composition.

Hatt

Hatt is a command-line program which generates truth tables for expressions in classical propositional logic. It also converts these expressions into various normal forms.