Starred repositories
ACL2 System and Books as Maintained by the Community
comparing the execution speeds of various programming languages
The new nanopass framework; an embedded DSL for writing compilers in Scheme
A compiler to compile a simple subset of scheme to LLVM 10
Official MINIX sources - Automatically replicated from gerrit.minix3.org
An operating system written in Common Lisp
Cloel is a framework that combines Clojure and Elisp for collaborative programming
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
The best way to write secure and reliable applications. Write nothing; deploy nowhere.
Common lisp: Parsing-Expression-Grammer-Parser-Generating Macro
Emacs Annotation and Language Learning tool.
Version 2 of the Climacs text editor.