I am a dedicated user of and advocate for free (libre) software. I regularly contribute bug fixes and new features to packages that I use, and listed here are a few software bundles of my own. See also: github.com/league/

  • LZMA Streams in Java — LZMA is the compression technique used in the 7-Zip archiver. This provides a thin layer over the LZMA Java SDK to support transparent compression of Java input/output streams.

  • RNGzip — type-based XML compression. The code from my research paper in DCC07. It uses the Relax NG schema to substantially compress conforming XML documents.

  • MetaOCaml Server Pages — web publishing as staged computation. The code from my research paper of the same name.

  • QCheck/SML — automatic unit testing for Standard ML, modeled after QuickCheck for Haskell (by Claessen and Hughes).

  • AI Lab Workbook in Scheme — these are the projects from my JCSC paper in May 2008.

  • TeX support for the FontSite 500 CD — no longer supported.

  • Scotland Yard, an historical look at an undergraduate programming project.

©20022015 Christopher League