Explore projects

Antik provides a foundation for scientific and engineering computation in Common Lisp. It is designed not only to facilitate numerical computations, but to permit the use of numerical computation libraries and the interchange of data and procedures, whether foreign (non-Lisp) or Lisp libraries. It is named after the Antikythera mechanism, one of the oldest examples of a scientific computer known.

Antik provides a foundation for scientific and engineering computation in Common Lisp. It is designed not only to facilitate numerical computations, but to permit the use of numerical computation libraries and the interchange of data and procedures, whether foreign (non-Lisp) or Lisp libraries. It is named after the Antikythera mechanism, one of the oldest examples of a scientific computer known.

CDR - Common Lisp Document Repository (site repo)

Common Lisp Interface Manager 2.0 based on the open source release by Franz, Inc. TOS stands for The Original Series as a reference to Star Trek: The Original Series.

Common Lisp Interface Manager 2.0 based on the open source release by Franz, Inc. TOS stands for The Original Series as a reference to Star Trek: The Original Series.

Common Lisp Interface Manager 2.0 based on the open source release by Franz, Inc. TOS stands for The Original Series as a reference to Star Trek: The Original Series.

Data for Common Lisp UltraSpec - http://phoe.tymoon.eu/clus/

CMUCL is a high-performance, free Common Lisp implementation which runs on most major Unix platforms.

CMUCL is a high-performance, free Common Lisp implementation which runs on most major Unix platforms.

CMUCL is a high-performance, free Common Lisp implementation which runs on most major Unix platforms.

CMUCL is a high-performance, free Common Lisp implementation which runs on most major Unix platforms.

CMUCL is a high-performance, free Common Lisp implementation which runs on most major Unix platforms.

CMUCL is a high-performance, free Common Lisp implementation which runs on most major Unix platforms.

RP and chat server/client written in Common Lisp

Some tools around first-order proof handling