kpoeck's Stars
ivmai/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
Clozure/ccl
Clozure Common Lisp
dylan-lang/opendylan
Open Dylan compiler and IDE
quicklisp/quicklisp-projects
Metadata for projects tracked by Quicklisp.
rpav/c2ffi
Clang-based FFI wrapper generator
s-expressionists/Eclector
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
maxima-project-on-github/maxima-packages
Packages for the Maxima computer algebra system, contributed by users
guicho271828/trivial-signal
UNIX signal handling library for Common Lisp.
sdilts/cl-bindgen
A command line tool and library for generating FFI wrappers for Common Lisp
pfdietz/ansi-test
My working copy of the Common Lisp ANSI Test Suite
robert-strandh/Flexichain
theoremprover-museum/InKa
InKa - an inductive theorem prover