DanielBruegmann/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
Public GitHub Catalog
Discovered Oct 3, 2026
DanielBruegmann / 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.
#28542418GitHub System ID
DanielBruegmannOrganization / User
PublicVisibility
ActiveCatalog Status
More from DanielBruegmann
DanielBruegmann/falling-blocks
Public repository.
DanielBruegmann/snaplet-fay
Fay integration for Snap that provides automatic (re)compilation during development
DanielBruegmann/snaplet-acid-state
Public repository.