wouter-swierstra/SoftwareProject
Public repository.
Public GitHub Catalog
Discovered Sep 25, 2026
wouter-swierstra / xmonad
xmonad in Coq
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.
#4482341GitHub 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/Brainfuck
A Brainfuck interpreter written in Agda
wouter-swierstra/Data.Stream
Coprogramming with infinite lists