yav/type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker
Public GitHub Catalog
Discovered Sep 29, 2026
yav / math-defender
Public repository discovered through GitHub real-time crawl.
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.
#15579548GitHub System ID
yavOrganization / User
PublicVisibility
ActiveCatalog Status
More from yav
yav/haskore-vintage
An old version of the Haskore library
yav/allegro
A binding to the Allegro game library
yav/linear-zendo
An implementation of `zendo` using linear-arithmetic