forestbelton/cooper
Presburger arithmetic solver in Idris
Public GitHub Catalog
Discovered Oct 2, 2026
forestbelton / sheaf
scheme os
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.
#25446113GitHub System ID
forestbeltonOrganization / User
PublicVisibility
ActiveCatalog Status
More from forestbelton
forestbelton/Dancer-Session-Memcached-JSON
Public repository.
forestbelton/homebrew
The missing package manager for OS X.
forestbelton/b
A compiler for the B programming language