Search results
Results from the WOW.Com Content Network
Free software programmed in Lisp. Pages in category "Free software programmed in Lisp" The following 18 pages are in this category, out of 18 total.
This is a list of free and open-source software (FOSS) packages, computer software licensed under free software licenses and open-source licenses.Software that fits the Free Software Definition may be more appropriately called free software; the GNU project in particular objects to their works being referred to as open-source. [1]
GNU Common Lisp (GCL) is the GNU Project's ANSI Common Lisp compiler, an evolutionary development of Kyoto Common Lisp. It produces native object code by first generating C code and then calling a C compiler. GCL is the implementation of choice for several large projects including the mathematical tools Maxima, AXIOM, HOL88, and ACL2.
Steel Bank Common Lisp (SBCL) is a free and open-source Common Lisp implementation that features a high-performance native compiler, Unicode support and threading.It is open source software, with a permissive license.
Clozure CL was used by ITA Software for the business logic of a new Airline Reservation System. [3] Clozure CL is also commonly used as an underlying Common Lisp implementation for the ACL2 theorem prover. [4]
ACL2 (A Computational Logic for Applicative Common Lisp) is a software system consisting of a programming language, an extensible theory in a first-order logic, and an automated theorem prover. ACL2 is designed to support automated reasoning in inductive logical theories, mostly for software and hardware verification .
McCLIM is an implementation of the Common Lisp Interface Manager (CLIM), for the programming language Common Lisp. The project is named partly after Mike McDonald, the person who began it. It is free and open-source software released under the GNU Lesser General Public License (LGPL) version 2.1.
CMUCL is a free Common Lisp implementation, originally developed at Carnegie Mellon University. CMUCL runs on most Unix-like platforms, including Linux and BSD; there is an experimental Windows port as well. Steel Bank Common Lisp is derived from CMUCL. The Scieneer Common Lisp was a commercial derivative from CMUCL.