Chez Scheme

A framework for integrated Artificial Intelligence & Artificial General Intelligence (AGI)

a lightweight, robust, scheme-like lisp implementation

Prototype smart text editor

🌀 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.

鸭库 duck lib scheme for gui gles gl slib openal socket web mongodb box2d game glfw mysql libevent libuv uv json http client server android osx linux chezscheme scheme-lib

Canonical miniKanren implementation

The implementation of microKanren, a featherweight relational programming language

Relational interpreter in miniKanren that can generate quines

Code, wiki, and resources for the weekly miniKanren uncourse

My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.

[NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/hyperon-pln]. Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Pr…

Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_networks

Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_networks