michaelballantyne/miniKanren-with-struct-unification
Public repository.
Public GitHub Catalog
Discovered Oct 6, 2026
michaelballantyne / derp2
A parser tool for Racket with an expressive grammar notation
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.
#31619950GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/miniKanren-occurrence-type-inferencer
Public repository.
michaelballantyne/secret-santa
Yet another secret santa logic program - this time in miniKanren with absento.
michaelballantyne/small-step-cek
Relational CEK machine