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 Oct 5, 2026
piyush-kurur / solarized
precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes
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.
#29775580GitHub 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