ekmett/rules
possibly playing with equality saturation
Public GitHub Catalog
Discovered Sep 24, 2026
ekmett / reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms
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.
#741136GitHub System ID
ekmettOrganization / User
PublicVisibility
ActiveCatalog Status
More from ekmett
ekmett/homotopy
Public repository.
ekmett/category-theory
A formalization of category theory in Coq for personal study
ekmett/thrists
Now located in the 'categories' branch of free