A Rational Defense of Reasonable Reflection (LICS'26 Keynote)

chat with biomedical MCPs

Wills ShovelWare Book Pack Releases

experimental term rewrite system for typescript

A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.

natural language → argument graph → AF semantics → FOL (TPTP)

functional/relational reflective tower

a system for analyzing and repairing arguments

Code. Art. Together.

FOL Software Archaeology

miniKanren for interactive tutorials on the web

A tiny programming system inspired by Boxer leveraging the HTML DOM structure. Illustrates naive realism, explicit structure and evaluation by copy & replace.

Study of Inductive Program Synthesis by Using a Reversible Meta-Interpreter (Numao & Shimura, 1997)

Prolog implementation of microKanren

Bibliography of Scheme-related Research

Python library for program synthesis and symbolic execution combining constraint solving and LLMs

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