phile314/agda-contracts
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
phile314 / agda-stdlib
The Agda standard library
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.
#28193693GitHub System ID
phile314Organization / User
PublicVisibility
ActiveCatalog Status
More from phile314
phile314/tasty-golden
OUTDATED FORK - see tasty-silver instead
phile314/chunky
Public repository.
phile314/mdm-assig2
Public repository.