michaelballantyne/meta-minikanren
A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!
Public GitHub Catalog
Discovered Nov 4, 2026
michaelballantyne / minikanren-odds-and-ends
miniKanren things worth archiving but that don't constitute a complete project
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.
#53768376GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/minikanren-quines
Programs that are quines in the miniKanren relational programming language
michaelballantyne/multiscope
A module language for programming with multiple named scopes, orthogonal to lexical nesting.
michaelballantyne/scheme-workshop-2015
Relational interpreters from our Scheme 2015 talk