Projects

This page contains miscellaneous software I've written and chosen to make freely available.

LaTeX Style Files

Derivation Trees

If you write papers about type systems in LaTeX, you may have noticed that it's unpleasantly difficult to typeset nice-looking typing derivations in LaTeX documents. The macros built into LaTeX or available in the amsmath package are designed for typesetting fractions, not derivation trees. One day I finally got tired of trying to make those work and wrote the following LaTeX package for typesetting derivation trees as they really should look.

• trfrac.sty is the LaTeX style file.
• View trfrac.pdf for documentation.
• The source code for both of the above is available as trfrac.dtx and trfrac.ins.

Symbol Lists

While writing my thesis, I wanted to create good list of symbols, similar to LaTeX's built-in macros for creating lists of figures and lists of tables. I wrote the following package for the task:

• symlist.sty is the LaTeX style file.
• View symlist.pdf for documentation.
• The source code for both of the above is available as symlist.dtx and symlist.ins.
• If you want to make a symbol list that is consistent with the Cornell Thesis Guidelines, place the following LaTeX code wherever you want your symbol list to be:

  \singlespacing
  \renewcommand\listofsymbolname{LIST OF SYMBOLS}
  \listofsymbols
  \normalspacing
  \clearpage

Song Books

I originally taught myself the internals of LaTeX by writing a massive LaTeX package devoted to the creation of song books. The software I developed can function either as a stand-alone LaTeX package, or as a suite of utilities built atop the MiKTeX and Vim free software packages. The song books I created are currently being used by the Cornell Graduate Christian Fellowship and the Cornell International Christian Fellowship.

• An installer for the software can be obtained from my SourceForge Project homepage.
• Here is the LaTeX package documentation in HTML form.
• Here is a sample chord book and lyric book, book of digital projector slides, and book of overhead transparencies all automatically generated from the same master document. (The idea is that you create a single master document for all your songs, and then you can tell LaTeX to produce from it any kind of book you want.) The master document from which these four books were created can be downloaded here: songs.sbd.