toonn/gevcrypt-presentation22may
On the Importance of Checking Cryptographic Protocols for Faults (Extended abstract), EUROCRYPT '97
Public GitHub Catalog
Discovered Oct 6, 2026
toonn / sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
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.
#34060282GitHub System ID
toonnOrganization / User
PublicVisibility
ActiveCatalog Status
More from toonn
toonn/pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
toonn/HKYNO
How to Keep Your Neighbours in Order by Connor McBride
toonn/haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq