Explore projects

Docker official images program docs

Benchmarks targeting Common Lisp implementations. Converted from the canonical common-lisp.net SVN repository.

Another System Definition Facility — de facto standard build system for Common Lisp software. Includes UIOP, the Utilities for Implementation- and OS- Portability, a library to make possible the portable development of CL software.

Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

The GNU Scientific Library for Lisp (GSLL) allows the use of the GNU Scientific Library (GSL) from Common Lisp. This library provides a full range of common mathematical operations useful to scientific and engineering applications. The design of the GSLL interface is such that access to most of the GSL library is possible in a Lisp-natural way; the intent is that the user not be hampered by the restrictions of the C language in which GSL has been written. GSLL thus provides interactive use of GSL for getting quick answers, even for someone not intending to program in Lisp.

Another System Definition Facility — de facto standard build system for Common Lisp software. Includes UIOP, the Utilities for Implementation- and OS- Portability, a library to make possible the portable development of CL software.

Jeannie provides an encapsulation of Apache Jena in Common Lisp via direct manipulation of Maven binary POM artifacts via an ABCL runtime http://abcl.org.

Originally https://bitbucket.org/easye/jeannie

Benchmarks targeting Common Lisp implementations. Converted from the canonical common-lisp.net SVN repository.

Another System Definition Facility — de facto standard build system for Common Lisp software. Includes UIOP, the Utilities for Implementation- and OS- Portability, a library to make possible the portable development of CL software.

https://ioa.re

Another System Definition Facility — de facto standard build system for Common Lisp software. Includes UIOP, the Utilities for Implementation- and OS- Portability, a library to make possible the portable development of CL software.

A toy interpreter and compiler of the untyped λ calculus, written in common lisp.

Another System Definition Facility — de facto standard build system for Common Lisp software. Includes UIOP, the Utilities for Implementation- and OS- Portability, a library to make possible the portable development of CL software.

Bots from #lisp / cloned from https://github.com/stassats/lisp-bots ; this is the version actually running on clo.

Some tools around first-order proof handling