yav/math-defender
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
yav / sbv
Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.
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.
#1366378GitHub System ID
yavOrganization / User
PublicVisibility
ActiveCatalog Status
More from yav
yav/allegro
A binding to the Allegro game library
yav/linear-zendo
An implementation of `zendo` using linear-arithmetic
yav/tcod-raw
Raw bindings to libtcod