wouter-swierstra/SoftwareProject
Public repository.
Public GitHub Catalog
Discovered Oct 2, 2026
wouter-swierstra / agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
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.
#24047453GitHub 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