a lightweight, robust, scheme-like lisp implementation

A self-hosting Scheme to WebAssembly compiler

🌀 A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system capable of generating fast native binaries.

The implementation of microKanren, a featherweight relational programming language

A self-hosting Scheme to WebAssembly compiler

A native compiler for Scheme compliant with R6RS

Running the code you want to write as fast as the code you have to write

single file scheme interpreter with tail call optimization

Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

Dynamic programming inference by continuation hashing.

Functional implementation of anti-unification algorithm for multiple terms

Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.

The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)