miniKanren/simple-miniKanren
Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.
Public GitHub Catalog
Discovered Sep 26, 2026
miniKanren / 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."
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.
#8039601GitHub System ID
miniKanrenOrganization / User
PublicVisibility
ActiveCatalog Status
More from miniKanren
miniKanren/Racket-miniKanren
Canonical miniKanren implementation in Racket
miniKanren/miniKanren
Canonical miniKanren implementation
miniKanren/miniKanren_org-website
Files for the miniKanren.org website. If you would like to update the site, please do so and send a pull request!