Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
pulp: process your LaTeX log file with pulp and make a better paper
An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
Classes for types where we know all the values
Vim Isn't an Acceptable Jex Editor
jedit plugin for editing files with elastic tapstops
Track games of Dr. Mario, and suggest handicaps for future games