Common Lisp (programming language) software

AARON ist der Sammelbegriff für eine Reihe von Computerprogrammen, die vom Künstler Harold Cohen geschrieben wurden und autonom originelle künstlerische Bilder erzeugen , was sie von früheren Programmen unterscheidet.

ACT-R (ausgesprochen /ˌækt ˈɑr/; kurz für „ Adaptive Control of Thought—Rational “) ist eine kognitive Architektur, die hauptsächlich von John Robert Anderson und Christian Lebiere an der Carnegie Mellon University

AllegroGraph ist ein proprietärer Triplestore zur Speicherung von RDF- Tripeln , einem Standardformat für Linked Data .

CLISP ist eine Implementierung der Programmiersprache Common Lisp, die ursprünglich von Bruno Haible und Michael Stoll für den Atari ST entwickelt wurde .

Clozure CL ( CCL ) ist eine Common-Lisp- Implementierung. Sie implementiert den vollständigen ANSI-Common-Lisp-Standard mit verschiedenen Erweiterungen ( CLOS MOP , Threads, CLOS-Bedingungen, CLOS-Streams usw.).

CLM (ursprünglich ein Akronym für Common Lisp Music ) ist ein Musiksynthese- und Signalverarbeitungspaket der Music-V- Familie, entwickelt von Bill Schottstaedt .

Macsyma ( / ˈ m æ k s ɪ m ə / ; "Project MAC's SYmbolic MAnipulator") ist eines der ältesten universellen Computeralgebrasysteme, das noch immer weit verbreitet ist.

Nqthm ist ein Theorembeweiser, der manchmal auch als Boyer-Moore-Theorembeweiser bezeichnet wird . Er war ein Vorläufer von ACL2 .

OpenMusic (OM) ist eine objektorientierte, visuelle Programmierumgebung für die Musikkomposition auf Basis von Common Lisp .

Peter Bruce Andrews (1. November 1937 – 21. April 2025) war ein US-amerikanischer mathematischer Logiker. Er ist der Schöpfer der mathematischen Logik Q₀ .

Das Prototype Verification System ( PVS ) ist eine Spezifikationssprache, die mit unterstützenden Werkzeugen und einem automatisierten Theorembeweiser integriert ist und im Computer Science Laboratory von SRI

SLIME , der Superior Lisp Interaction Mode for Emacs , ist ein Emacs- Modus zur Entwicklung von Common-Lisp- Anwendungen. SLIME basiert auf dem von Eric Marsden entwickelten Emacs-Modus SLIM.

DAYDREAMER ist ein zielorientierter Agent und eine kognitive Architektur, die ab 1983 von Erik T. Mueller und Michael G. Dyer an der University of California, Los Angeles, entwickelt wurde .