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 / Racket-miniKanren
Canonical miniKanren implementation in Racket
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.
#8045638GitHub System ID
miniKanrenOrganization / User
PublicVisibility
ActiveCatalog Status
More from miniKanren
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!
miniKanren/sokuza-kanren
Oleg Kiselyov's minimal implementation of logic programming