michaelballantyne/miniKanren-with-struct-unification
Public repository.
Public GitHub Catalog
Discovered Oct 1, 2026
michaelballantyne / fulmar
Generate formatted C++ from Racket S-expressions
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.
#20942604GitHub System ID
michaelballantyneOrganization / User
PublicVisibility
ActiveCatalog Status
More from michaelballantyne
michaelballantyne/derp2
A parser tool for Racket with an expressive grammar notation
michaelballantyne/miniKanren-occurrence-type-inferencer
Public repository.
michaelballantyne/secret-santa
Yet another secret santa logic program - this time in miniKanren with absento.