wouter-swierstra/Brainfuck
A Brainfuck interpreter written in Agda
Public GitHub Catalog
Discovered Sep 25, 2026
wouter-swierstra / Bird
Formalization of Richard Bird's Pearls of Functional Algorithm Design
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#4482570GitHub System ID
wouter-swierstraOrganization / User
PublicVisibility
ActiveCatalog Status
More from wouter-swierstra
wouter-swierstra/Data.Stream
Coprogramming with infinite lists
wouter-swierstra/xmonad
xmonad in Coq