toonn/HKYNO
How to Keep Your Neighbours in Order by Connor McBride
Public GitHub Catalog
Discovered Oct 6, 2026
toonn / haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq
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.
#33133054GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
toonn/pbdtt-presentatie25mar
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen." The Power of Pi en kort iets over totality en Turing-completeness.
toonn/agda-casestt
A couple case studies to compare agda to other dependently typed languages