Projects

I work on various pieces of free software, mostly released under the GPL or LGPL. Most of my time is spent on Tock at the moment, but I also maintain C++CSP2 and CHP.

• Tock is a compiler for occam and Rain, written in Haskell. It is not yet properly released, but you can look at the Tock source code (GPL) in the darcs repository, the Tock Trac instance and subscribe to the Tock Atom feed (for repository updates. There is also the tock-discuss mailing list. Adam Sampson and I have co-written Tock.

• C++CSP2 is an implementation of CSP ideas in C++. It runs on Windows, Linux and Mac OS X, and is also used as a backend for Tock. I am the sole author of C++CSP2.
• CHP is a library for Haskell that builds on CSP ideas. It's slower than C++CSP2, but has a more powerful API. I am also the sole author of CHP.
• JCSP is very similar to C++CSP2, but in Java (JCSP came first!). I helped do some merging and reorganisation of JCSP, but am not a major contributor.

JCSP and C++CSP2 are both released under the LGPL, CHP is released under what is commonly known as the BSD3 licence. For full details, see the licence files included with the software.

• Broadside and Viper are two games I wrote a long time ago. Both were designed for Windows 95/98, and unfortunately I'm not sure if I have a copy of the source any longer, but the binaries are available.