michaelballantyne/mk-interp
miniKanren realized as a small step interpreter
Public GitHub Catalog
Discovered Oct 21, 2026
michaelballantyne / scheme-workshop-2015
Relational interpreters from our Scheme 2015 talk
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#41905625GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/tree-automata-mk
Public repository.
michaelballantyne/cljs-bootstrap
ClojureScript compiling ClojureScript
michaelballantyne/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.