toonn/pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
Public GitHub Catalog
Discovered Sep 29, 2026
toonn / capselai
Code for assignments of the course Capita selecta computerwetenschappen: Artificiële Intelligentie at KULeuven during the academic year 2013-2014
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.
#13803671GitHub 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