William E. Byrd

Barliman. Prototype smart text editor

mediKanren. Proof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.

miniKanren-with-symbolic-constraints. Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.

miniKanren. Old version of miniKanren, without some of the fancy new constraints. See 'miniKanren-with-symbolic-constraints'.

quines. Relational interpreter in miniKanren that can generate quines

probKanren. Probabilistic miniKanren

dissertation-single-spaced. Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'

miniKanren-uncourse. Code, wiki, and resources for the weekly miniKanren uncourse

untitled-relational-interpreter-book. Relational Programming in miniKanren

relational-parsing-with-derivatives. Relational version of parsing with derivatives code

faster-miniKanren. A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.

linear-logic-multiset-rewriting. Logic for story telling!

TAPL-in-miniKanren-cKanren-core.logic. Translation of Pierce's 'Types and Programming Languages' into miniKanren/core.logic

slpKanren. Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren

webmk. miniKanren for interactive tutorials on the web

miniKanren-hangout-summaries. Summaries of intro and advanced miniKanren hangout series

alphaKanren. Nominal logic programming extensions to miniKanren, based on alphaProlog.

normalization-by-evaluation. Normalization-by-evaluation in miniKanren

hindley-milner-type-inferencer. Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.

anti-unification. Functional implementation of anti-unification algorithm for multiple terms

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

cato. Concatenative relational interpreter in miniKanren

scheme-primer. Interactive Scheme Primer, written in Scheme.

relational-cesk. Relational implementation of the CESK machine

curnelo. Cur dependently-typed language in miniKanren.

polyconf-2015. Resources from the Polyconf 2015 talk & relational interpreters workshop

2012-scheme-workshop-quines-paper-code. Code from the 2012 Scheme Workshop paper by Byrd, Holk, and Friedman, "miniKanren, Live and Untagged: Quine Generation via Relational Interpreters."

declarative-semantics. miniKanren implementation of ' Declarative semantics for functional languages: compositional, extensional, and elementary' by Jeremy Siek.

tree-automata. Tree-automata-based run-time type constraints for miniKanren

cool-relational-interpreter-examples. Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work

wreckto-verseo. Experiments with the Verse Calculus in miniKanren

imperishable-wonderland. An Imperishable Wonderland of Infinite Fun

relational-interpreter-book-and-course. Book and code and pointers to videos for my relational interpreter course

bronze-to-gm-miniKanren. From Bronze to GM in miniKanren!

will-writes-books.

latticeKanren. lattice-based miniKanren, inspired by lambda-LVars

relational-interpreter-with-match. Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher

stranger-loops-talk. Code from 'Strange Dreams of Stranger Loops' keynote for Strange Leoop 2021 (https://www.youtube.com/watch?v=AffW-7ika0E)

Running-Backwards--Part-1. Interactive code from episode 1 of my 'Running Backwards' videos on relational programming.

scheme-fun-hacking. Scheme Fun Hacking!