LLM-generated CHEBI classifiers

Dafny Verifier Tool for the Model Context Protocol, which can be used with Claude

Synthesis of simple virus-like programs via relational interpreter.

Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren

Learn to program C on your Commodore 64 (C64) with Abacus Super C.

Common Lisp port of Doug Lenat's EURISKO

Slog 1.0

deep learning for math

Experiments with writing relational verifier/synthesizer in miniKanren.

Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977

Holds the text for the main organizational README

SecureDNA client and server components monorepo

A PPA repository for SecureDNA packages

Fast DNA manipulation for Rust and Python

Generating quines via E-unification for second-order abstact syntax.

miniKanren with Variational Inference

miniKanren with conflict-driven clause learning using a SAT solver

Interpreter for the reversible functional language rFun

An implementation of microKanren in Common Lisp, with disequality, numbero, symbolo and absento constraints

Silice is an easy-to-learn, powerful hardware description language, that simplifies designing hardware algorithms with parallelism and pipelines.

explorations of Scheme synthesis in Scheme

Empower Large Language Models (LLM) using Knowledge Graph based Retrieval-Augmented Generation (KG-RAG) for knowledge intensive tasks

LLM verified with Monte Carlo Tree Search

Library for running a Monte Carlo tree search, either traditionally or with expert policies

probKanren paper and implementation

Underconstraints for miniKanren

a async http server base on libuv for Chez Scheme