Stars
A portable type inference library for Common Lisp
Systems language with linear types and capability-based security.
A list of Lisp-flavored programming languages
Allows arbitrary functions to become the standard Lisp debugger
This is a JSON parser implemented in Coalton.
Hugo source material for the Coalton website.
Reviving the language that brought us the Jak & Daxter Series
Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
Computations in the monodromy polytope for quantum gate sets
Dynamic library delivery tools for SBCL.
A veneer for plotting in Common Lisp with Vega Lite.
Source code for the TKET quantum compiler, Python bindings and utilities
Small Stack-Based Computer Compiler -- Verilog micro controller for FPGA housekeeping with peripherals
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
Official repository of the FriCAS computer algebra system
Arbitrary precision, automatic re-computing real numbers in Common Lisp.
Common Lisp protocol buffer implementation.
yale haskell but it works on modern lisp implementations
(deprecated) A system for making generative systems
A cryptographic toolkit written in Common Lisp
Generating and managing callbacks from C into Heaven (Lisp).