Flashcards: Common Lisp software

In computing, CLISP is an implementation of the programming language Common Lisp originally developed by Bruno Haible and Michael Stoll for the Atari ST.

Climacs is an open source text editor written in Common Lisp that is similar to GNU Emacs and is released under the GNU LGPL (version 2 or later) software license.

CMUCL is a free Common Lisp implementation, originally developed at Carnegie Mellon University.

Cyc (/ˈsaɪk/) is an artificial intelligence project that attempts to assemble a comprehensive ontology and knowledge base of everyday common sense knowledge, with the goal of enabling AI applications to perform human-like reasoning.

GNU Common Lisp (GCL) is the GNU Project's Common Lisp compiler, an evolutionary development of Kyoto Common Lisp.

Steel Bank Common Lisp (SBCL) is a free Common Lisp implementation that features ahigh performance native compiler, Unicode support and threading.

SLIME, the Superior Lisp Interaction Mode for Emacs, is an Emacs mode for developing Common Lisp applications.

Maxima is a computer algebra system based on a 1982 version of Macsyma.

Allegro Common Lisp is a commercial implementation of the Common Lisp programming language developed by Franz Inc.

CLPython is an implementation of the Python programming language written in Common Lisp.

Corman Common Lisp is a commercial implementation of the Common Lisp programming language featuring support for the Windows operating system.

Embeddable Common Lisp (ECL) is a LGPL Common Lisp implementation aimed at producing a small-footprint Lisp system that can be embedded into existing C-based applications.

Kyoto Common Lisp (KCL) is an implementation of Common Lisp by Taichi Yuasa and Masami Hagiya, written in C to run under Unix-like operating systems.

Macintosh Common Lisp (MCL) is an implementation and IDE for the Common Lisp programming language.

StumpWM is a tiling window manager that was created when developer Shawn Betts found ratpoison growing increasingly large and "lispy".

OpenMusic (OM) is an object-oriented visual programming environment for musical composition based on Common Lisp.

Axiom is a free, general-purpose computer algebra system.

Weblocks is an advanced web framework for Common Lisp.

MusicEase is a proprietary WYSIWYG scorewriter created by Gary Rader and produced by MusicEase Software (formerly known as Grandmaster).

ScoreCloud is a software service concerning music notation created by DoReMIR for Mac OS X, Microsoft Windows, iPhone and iPad.

Movitz is a discontinued implementation of the Common Lisp programming language for x86 computers.

Agrippa (A Book of the Dead) is a work of art created by science fiction novelist William Gibson, artist Dennis Ashbaugh and publisher Kevin Begos Jr.

AllegroGraph is a closed source triplestore which is designed to store RDF triples, a standard format for Linked Data.

KM, the Knowledge Machine, is a frame-based language used for knowledge representation work.

Loom is a knowledge representation language developed by researchers in the artificial intelligence research group at the University of Southern California's Information Sciences Institute.

LispWorks is a commercial implementation and Integrated Development Environment for the Common Lisp programming language.

OBJ3 is a version of OBJ based on order-sorted rewriting.

Another System Definition Facility (asdf) is a package format and a build tool for Common Lisp libraries.

The *Lisp (aka StarLisp) programming language was conceived of in 1985 by Cliff Lasser and Steve Omohundro (employees of the Thinking Machines Corporation) as a way of providing an efficient yet high-level language for programming the nascent Connection Machine.

SubL is a programming language based on Common Lisp, which can be easily compiled into the C programming language.

ACT-R (pronounced act-ARE; short for "Adaptive Control of Thought—Rational") is a cognitive architecture mainly developed by John Robert Anderson at Carnegie Mellon University.

Mirai is a 3D creation and editing suite available originally from Nichimen Graphics Corporation, later from Winged Edge Technologies, and currently from Izware.

NESL is a parallel programming language developed at Carnegie Mellon by the SCandAL project and released in 1993.

Genera is a commercial operating system and development environment for Lisp machines developed by Symbolics.

The Prototype Verification System (PVS) is a specification language integrated with support tools and an automated theorem prover, developed at the Computer Science Laboratory of SRI International in Menlo Park, California.

Clozure CL (CCL) is a Common Lisp implementation.

CommonLoops (the Common Lisp Object-Oriented Programming System; an acronym reminiscent of the earlier Lisp OO system "Loops" for the Interlisp-D system) is an early programming language which extended Common Lisp to include Object-oriented programming functionality and is a dynamic object system which differs from the OOP facilities found in static languages such as C++ or Java.

SK8 (pronounced "skate") was a multimedia authoring environment developed in Apple's Advanced Technology Group from 1988 until 1997.

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 a mechanical theorem prover.

CLSQL is an SQL database interface for Common Lisp.

CLiki is an open source wiki application written in Common Lisp, that was under development from 2002 to 2005.

CL-HTTP is a web server, client and proxy written in Common Lisp.

CLX is the standard X Window System client library for Common Lisp, equivalent to the Xlib library for the C programming language.

ITA Software is a travel industry software division of Google, formerly an independent company, in Cambridge, Massachusetts.