Command-line tools for SSA->SRT conversion & editing of SRT subtitles
Software build-automation tool written in Common Lisp
GENPPI: standalone software for creating protein interaction networks
Migrate to PostgreSQL in a single command
Readable Lisp/S-expressions with infix, functions, and indentation
Computer Music Programming Language
Research platform for SAT and other hard problems