Some projects I've worked on:
I wrote hcross, a
cross-platform, open source Haskell application for interactively
solving crossword puzzles. It's effectively a free Across
As part of the Software Foundations project, I made a number
of contributions to coqdoc, the documentation tool
for the Coq proof assistant.
I have contributed to and
maintain libpuz, a
C library for handling the Across Lite crossword puzzle file
format. I have also participated in the community effort to
reverse engineer and document that format, located at the same
Google Code project page.
Haskell bindings for the libpuz library.
In 2007, I participated in Jane Street
Summer Project. This was a great experience, and I highly
recommend it. My project
a port of Haskell's popular Parsec library (monadic parser
combinators) to OCaml. Unfortunately, this library isn't as
carefully tested or as nicely packaged as I'd like. It's fun
to play with, but you probably shouldn't use it in production