List of Lisp software and tools

This is a list of software and programming tools for the Lisp programming language, which includes frameworks, libraries, IDEs, build tools, and related projects. == Lisp frameworks and libraries == See also: Common Lisp libraries Alexandria — utility functions for Common Lisp CL-HTTP — web server and web framework in Common Lisp Common Lisp Interface Manager (CLIM) — GUI toolkit for Common Lisp Common Lisp Object System (CLOS) — object-oriented programming system for Lisp McCLIM — open-source implementation of CLIM serapeum — utilities and extensions to Alexandria Slynk — backend server for SLIME trivial-garbage — portable garbage-collection finalizers trivial-gray-streams — Portability library for Common Lisp gray streams == Machine learning and AI == CLML — Common Lisp Machine Learning library Neural Lisp — experimental neural network toolkit in Lisp Opencog — cognitive architecture with Lisp components Owl Lisp — functional Lisp with emphasis on numerical programming == Math and scientific computing == ACL2 — theorem prover and logic system built on Common Lisp Axiom — computer algebra system written in Common Lisp Franz Lisp extensions — scientific computing libraries Maxima — computer algebra system originally developed in Lisp Prototype Verification System (PVS) - mechanized environment for formal specification and verification written in Common Lisp == Integrated development environments == Allegro Common Lisp — IDE and development environment from Franz Inc.

Source: Wikipedia — List of Lisp software and tools (CC BY-SA 4.0)