wouter-swierstra/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 2, 2026
wouter-swierstra / SoftwareProject
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.
#24751970GitHub System ID
wouter-swierstraOrganization / User
PublicVisibility
ActiveCatalog Status
More from wouter-swierstra
wouter-swierstra/Brainfuck
A Brainfuck interpreter written in Agda
wouter-swierstra/Data.Stream
Coprogramming with infinite lists
wouter-swierstra/Bird
Formalization of Richard Bird's Pearls of Functional Algorithm Design