zacque0's Stars
theoremprover-museum/LCF77
The original Edinburgh LCF.
kohlhase/CambridgeLCF
Cambridge LCF, a port of LCF to ML
Kixiron/rust-langdev
Language development libraries for Rust
GustavBertram/awesome-common-lisp-learning
A curated list of awesome Common Lisp learning resources
mit-plv/bedrock2
A work-in-progress language and compiler for verified low-level programming
drym-org/symex.el
An intuitive way to edit Lisp symbolic expressions ("symexes") structurally in Emacs
ruricolist/cloture
Clojure in Common Lisp
ruricolist/vernacular
Module system for languages that compile to Common Lisp
nikodemus/screamer
Screamer is an extension of Common Lisp that adds support for nondeterministic programming.
Shinmera/deploy
Deployment tools for standalone Common Lisp applications
takagi/cl-cuda
Cl-cuda is a library to use NVIDIA CUDA in Common Lisp programs.
gos-k/oclcl
S-expression to OpenCL C
standardese/cppast
Library to parse and work with the C++ AST
stylewarning/cl-algebraic-data-type
Algebraic data types in Common Lisp
rose-compiler/rose
Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.
cffi/cffi
The Common Foreign Function Interface
clasp-developers/clasp
clasp Common Lisp environment
s-expressionists/Cleavir
an implementation-independent framework for creating Common Lisp compilers
edicl/cl-ppcre
Common Lisp regular expression library
guicho271828/trivia
Pattern Matcher Compatible with Optima
calyau/maxima
Computer Algebra System written in Common Lisp (GPL CAS based on DOE-MACSYMA)
zkat/chanl
Portable channel-based concurrency for Common Lisp
robert-strandh/Well-Specified-Common-Lisp
A specification of an improvement to the Common Lisp standard
McCLIM/McCLIM
An implementation of the Common Lisp Interface Manager, version II
robert-strandh/LispOS
An operating system written in, but especially inspired by Common Lisp and its interactive environment.
coalton-lang/coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
robert-strandh/SICL
A fresh implementation of Common Lisp
acl2/acl2
ACL2 System and Books as Maintained by the Community
s-expressionists/Eclector
A portable Common Lisp reader that is highly customizable, can recover from errors and can return concrete syntax trees
ciel-lang/CIEL
CIEL Is an Extended Lisp. Scripting with batteries included.