Explore projects

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

Fork of maxima but for generating a site with the maxima docs. See https://maxima.common-lisp.dev/

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

CDR - Common Lisp Document Repository (site repo)

It is a mirror of QueryFS monotone repository maintained by the original author

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

Fork of Zed Shaw's LxTHW repository for writing your own programming book in the style of Learn Code The Hard Way

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.

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.

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

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.

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

Some tools around first-order proof handling

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.