piyush-kurur/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 Sep 29, 2026
piyush-kurur / haskell-platform
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#16575149GitHub System ID
piyush-kururOrganization / User
PublicVisibility
ActiveCatalog Status
More from piyush-kurur
piyush-kurur/graphene
Public repository.
piyush-kurur/keyvalue
Public repository.
piyush-kurur/HoTT-Agda
Development of homotopy type theory in Agda