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 / TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#8039521GitHub 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!