toonn/sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
Public GitHub Catalog
Discovered Sep 29, 2026
toonn / capselaii
Second assignment for Capita Selecta: Artificial Intelligence at KULeuven
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.
#16615258GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq
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