toonn/agda-casestt
A couple case studies to compare agda to other dependently typed languages
Public GitHub Catalog
Discovered Oct 3, 2026
toonn / popartt
Dit repository bevat de brontekst voor mijn populariserend artikel in verband met mijn thesis: Programmeren en Bewijzen in Dependently Typed Talen.
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.
#28540564GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/cc-jit-pres
Presentatie over register allocatie voor jit compilers.
toonn/pbdtt-presentatie10dec
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."
toonn/haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT