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