michaelballantyne/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.
Public GitHub Catalog
Discovered Oct 7, 2026
michaelballantyne / backjumping-miniKanren
Public repository discovered through GitHub real-time crawl.
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.
#35053372GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/nebo-rkt
Public repository.
michaelballantyne/typed-racket-performance
Public repository.
michaelballantyne/miniKanren-with-struct-unification
Public repository.