Common Lisp Quick Reference is a booklet with short descriptions of the thousand or so symbols defined in the ANSI standard. It comes with a comprehensive index. It is written in LaTeX and formatted for printing on both A4 and letter paper. After folding the sheets lengthwise, they can easily be turned into a handy booklet.
Design Center is a Web application that allows users to change the colour of different layers in a photo. In a photo of a bedroom, there could be layers for the walls, the ceiling, and for the floor. The application lets users change the colour of each and see how a new paint job would look. If used on a furniture store's Web site, different layers could be used for beds, chairs, lampshades, etc. to allow customisation by users.
otl is a text processor for generating markup from readable lightweight markup. Much of both the input and output formats can be customized. HTML output is bundled as an example. otl supports complex structures such as nested ordered and unordered lists, headers and footers, and tables.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Phoros is a Web-based tool for photogrammetric road survey. Storage locations of images and GPS data acquired by a measuring vehicle are stored by Phoros into a PostgreSQL database. Images and a map are then presented on Phoros' Web interface. There, a user can determine and store global coordinates of features shown in the images.