wouter-swierstra/SoftwareProject
Public repository.
Public GitHub Catalog
Discovered Sep 27, 2026
wouter-swierstra / Brainfuck
A Brainfuck interpreter written in Agda
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.
#10997144GitHub System ID
wouter-swierstraOrganization / User
PublicVisibility
ActiveCatalog Status
More from wouter-swierstra
wouter-swierstra/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
wouter-swierstra/Data.Stream
Coprogramming with infinite lists
wouter-swierstra/Bird
Formalization of Richard Bird's Pearls of Functional Algorithm Design