toonn/pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
Public GitHub Catalog
Discovered Oct 1, 2026
toonn / capselaiv
Project for the 4th part of the course Capita Selecta: AI at KULeuven
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.
#20492430GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/HKYNO
How to Keep Your Neighbours in Order by Connor McBride
toonn/sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
toonn/haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq