Hugo source material for the Coalton website.

A curated list of awesome Common Lisp frameworks, libraries and other shiny stuff.

FSet, the functional collections library for Common Lisp.

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

This is a mirror of the official cmucl repo at gitlab.common-lisp.net

Scheme in Go

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

Base images for Coalton CI

A fast, purely functional data structure library in Common Lisp.

Experimental and unsupported code, editor integrations, etc.

Scheme interpreter written in JavaScript

Scheme Scripting Engine

Clozure Common Lisp

Searchable index of Scheme Lisp libraries

A Mozilla SpiderMonkey JavaScript engine embedded into the Python VM, using the Python engine to provide the JS host environment.

Chez Scheme

A Clojure-compatible(-ish) Lisp dialect targeting Python 3.9+

General reasoning component for applications based on NARS theory.

RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.

Official chibi-scheme repository

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

The Yices SMT Solver

A Z3Py-compatible interface to cvc5

The Z3 Theorem Prover

Explore writing Jupyter Notebooks with the Basilisp Kernel

A Jupyter kernel for Basilisp, a Clojure compatible dialect implemented in Python

A Non-Axiomatic Reasoning System implemented in Python

ALICE (Automated Learning and Intelligence for Causation and Economics) is a Microsoft Research project aimed at applying Artificial Intelligence concepts to economic decision making. One of its go…

DoubleML - Double Machine Learning in Python

It's Python with a Lissp.