ACL2, a full-featured automated theorem prover for an applicative variant of Common Lisp. Axiom, a sophisticated computer algebra system. Maxima, a sophisticated computer algebra system, based on Macsyma. OpenMusic, an object-oriented visual programming environment based on Common Lisp, used in computer assisted composition. Pgloader, a data loader for PostgreSQL, which was re-written from Python to Common Lisp. Stumpwm, a tiling, keyboard driven X11 Window Manager written entirely in Common Lisp.
ACL2 a full-featured automated theorem prover for an applicative variant of Common Lisp Axiom a sophisticated computer algebra system Maxima a sophisticated computer algebra system based on Macsyma OpenMusic an object-oriented visual programming environment based on Common Lisp used in computer assisted composition Pgloader a data loader for PostgreSQL which was re-written from Python to Common Lisp Stumpwm a tiling keyboard driven X11 Window Manager written entirely in Common Lisp