michaelballantyne/faster-minikanren
A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.
Public GitHub Catalog
Discovered Oct 5, 2026
michaelballantyne / secret-santa
Yet another secret santa logic program - this time in miniKanren with absento.
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.
#29369872GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/nebo-rkt
Public repository.
michaelballantyne/backjumping-miniKanren
Public repository.
michaelballantyne/typed-racket-performance
Public repository.