My Github profile is, like many people I suspect, largely made up of forked repositories to send one or two patches up-stream. This list is more representative of software I’ve actively worked on as a primary contributor or creator.

hedgehog (scala)

Status: active

Hedgehog is a modern property-based testing system, in the spirit of QuickCheck (and ScalaCheck). Hedgehog uses integrated shrinking, so shrinks obey the invariants of generated values by construction.

bantam (haskell)

Status: stable

The service for helping running the annual fp-syd Coq-fight, hosted at

git-cc (python)

Status: inactive

Simple bridge between base ClearCase and Git in the spirit of git-svn.