%= $xmlHeader %> <%= $xhtmlDoctype %>
The following is more of a to-do list than anything else, really.
binary lexer/parser generator
Scheme build script tool, à la Ant
Scheme implementation of the Blue calculus
iCite (iTunes-like view over a library of collected research papers)
hack Robby's reduction semantics engine to produce proofs, integrate with parsers and pretty-printers
a PLT Scheme library for SQLite