michaelballantyne/nebo-rkt
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
michaelballantyne / dKanren
Pure miniKanren with fair conjunction by iterative distribution and reduction
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.
#27451885GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/backjumping-miniKanren
Public repository.
michaelballantyne/typed-racket-performance
Public repository.
michaelballantyne/miniKanren-with-struct-unification
Public repository.