Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

An operating system written in Common Lisp

General-purpose editor/IDE with high expansibility in Common Lisp

clasp Common Lisp environment

intended to be a launcher for a major lisp environment that just works.

Code Evaluate Play Loop

See https://github.com/inconvergent/weir instead

Numpy clone in Common Lisp

The optimizing Quil compiler.

ACL2 System and Books as Maintained by the Community

A Common Lisp web application environment

Quicklisp client.

An experimental minimal chat written in Common Lisp

OM#: Visual Programming | Computer-assisted Music Compositon

A full-featured repl implementation designed to work with Roswell

jsk-ros-pkg/jsk_robot

Specification and Implementation of Quantum Common Lisp, for gate-model quantum computers

A logic programming library for Common Lisp.

nqthm - the original Boyer-Moore theorem prover, from 1992

AutoLISP and VLISP scripts for civil engineering.

Common Lisp Mustache Template Renderer

LIsp Framework for Testing

A lightweight Description Logic reasoner for large-scale biomedical ontologies

My Testing Framework for Common Lisp

An ATMS-based implementation of requirements solution finding.

Learning Artificial Intelligence Applying Notions (LAIAN)