Software
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.
- AI Lab Workbook in
Scheme — these are the projects from my JCSC paper in May 2008.
- 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, especially ones
that are more data-oriented (taggy).
- 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).
- 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.
- liu-calendar.el encodes
my academic calendar, for use with Emacs.
- nws-diary is a simple Perl script
that fetches forecasts from
the National Weather Service
(US only) and formats them for inclusion in
your Emacs
diary. (Screenshot, 23k)
- TeX support for the FontSite 500
CD
- Scotland Yard, an historical look at
an undergraduate programming project.