William E. Byrd's repositories
mediKanren
Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
faster-miniKanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
normalization-by-evaluation
Normalization-by-evaluation in miniKanren
wreckto-verseo
Experiments with the Verse Calculus in miniKanren
tree-automata
Tree-automata-based run-time type constraints for miniKanren
imperishable-wonderland
An Imperishable Wonderland of Infinite Fun
computation-languages-and-research-an-idiosyncratic-view
'Computation, Languages, and Research: An Idiosyncratic View' by William E. Byrd
relational-amb
A Relational Exploration of McCarthy's amb
underconstraints
Underconstraints for miniKanren
Scheme-macros
Code from the `Scheme macros` episodes of `Will's Guide to Programming Languages, Programming, Computation, and What-Have-You`
awesome-neural-geometry
A curated collection of resources and research related to the geometry of representations in the brain, deep networks, and beyond
relational-alpha-equivalence-experiments
Experiments in alpha-equivalence, capture-avoiding-substitution, gensym, etc., all fully relational.
clpset-environment-experiments
Experiments using set constraints (CLP(Set)) to represent environments in relational interpreters, etc.
syntax-case-experiments
Trying to become less n00b with hygienic macros, with the help of talented friends.
aiKanren
miniKanren with Variational Inference
am
Douglas Lenat's AM (Automated Mathematician) from SAIL archives circa 1977
ChezScheme
Chez Scheme
clpset-miniKanren
CLP(Set) in miniKanren
llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
MarkovJunior
Probabilistic PL based on pattern matching and constraint propagation, 148 examples
probKanren-3
probKanren paper and implementation
soas-quine
Generating quines via E-unification for second-order abstact syntax.