Chez Scheme

a lightweight, robust, scheme-like lisp implementation

Gambit is an efficient implementation of the Scheme programming language.

Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand

an incremental approach to compiler construction

Scheme Scripting Engine

A Unix shell embedded in scheme

IronScheme

Canonical miniKanren implementation

The implementation of microKanren, a featherweight relational programming language

Relational interpreter in miniKanren that can generate quines

Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.

stex: stex to latex and latex to html converters and associated tools

Relational Programming in miniKanren

Code, wiki, and resources for the weekly miniKanren uncourse

Some GIMP scripts

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

Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

This is a translation of source code from SICP into SML/NJ.

Simple Gauche binding of Tk toolkit