yav/sequent-core
A GHC plugin framework for optimizations using sequent calculus style AST
Public GitHub Catalog
Discovered Oct 2, 2026
yav / type-nat-solver
A plugin for solving numeric constraints in GHC's type-checker
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.
#25055038GitHub System ID
yavOrganization / User
PublicVisibility
ActiveCatalog Status
More from yav
yav/mini-sat
A Haskell implementation of a simple SAT solver
yav/haskore-vintage
An old version of the Haskore library
yav/math-defender
Public repository.