DSWM (Deep Space Window Manager) is a tiling keyboard-driven X11 window manager. It is based on StumpWM code and is written entirely in Common Lisp and oriented for good usability with minimum startup configuration and good integration with Emacs. The project is under hard development, so it has many experimental features.
ClearLisp is a Common LISP interpreter written in C# with the purpose of scripting in a .NET or Mono environment. The ClearLisp language supports a large subset of CL and has an object model with generic functions, class and instance methods, properties, and import of existing .NET classes. ClearLisp executes LISP scripts in interactive mode or in Web mode (IIS; XSP or Apache with Mono). Sample ClearLisp code is provided in the form of a personal, file-based wiki Web application.
Paragent is a Web-based tool for IT administrators that provides a unified service for hardware and software inventory, alerting, remote desktop, and help desk functions. It delivers these tools in an easy-to-use interface, with one-click access and site-wide built-in advanced search capabilities. It is a combination of applications, including Lisp-based servers collecting data, C++ agents on the client machines, and Java tools for the remote desktop component. Paragent runs on Linux servers and supports Windows clients.
NTW Lisp is a server written in Common Lisp for applications that use the NTW protocol to communicate with a GUI client. This asynchronous protocol makes it possible to serve remote applications that are indistinguishable from native ones. It's also useful for quickly writing GUI apps from Common Lisp that can be run locally.
Lisp Blosxom is a port of the Perl Blosxom blogging engine to ANSI Common Lisp. Its goals are extensibility and speed. It's a filesystem-based blogging engine, which means that blog entries are just flat files on disk, although plugins can be written to extend or replace this behavior. The first line in the file is the title, while the remainder is the text of the body. Entry dates are taken directly from the filesystem's modification date for each entry. Furthermore, the structure of the blog is taken directly from the hierarchy of directories and files on disk.
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.