Stars
namin / GETFOL
Forked from getfol/GETFOLFOL Software Archaeology
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)
Bibliography of Scheme-related Research
Python library for program synthesis and symbolic execution combining constraint solving and LLMs
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.
namin / eurisclo
Forked from white-flame/euriscloCommon Lisp port of Doug Lenat's EURISKO
Experiments with writing relational verifier/synthesizer in miniKanren.
Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
Generating quines via E-unification for second-order abstact syntax.
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