toonn's repositories
quintessence
Functional programming language for the EVM
agda-casestt
A couple case studies to compare agda to other dependently typed languages
agda-exercises
My solutions to the exercises for several agda tutorials.
bdap-proj1
First project for the Big Data Analytics Programming course at KULeuven
bdap-proj2
Second project for the Big Data Analytics Programming course at KULeuven
bdap-proj3
Third project for the Big Data Analytics Programming course at KULeuven
bdap-proj4
4th assignment for the Big Data Analytics Programming course at KULeuven
capselaiv
Project for the 4th part of the course Capita Selecta: AI at KULeuven
cc-jit-pres
Presentatie over register allocatie voor jit compilers.
checkm8
Knight's tour solver
complang
Repository for exercise sessions for the course Comparative Programming Languages at KULeuven
fsata
Implementing a dependently-typed calculus: Project for the course: Formal Systems and their Applications at KULeuven
fsata-ex
Exercise sessions for the course Formal Systems and their Applications at KULeuven.
gevcrypt-presentation22may
On the Importance of Checking Cryptographic Protocols for Faults (Extended abstract), EUROCRYPT '97
haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq
haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT
HKYNO
How to Keep Your Neighbours in Order by Connor McBride
mas-1314
MultiAgent Systems course at KULeuven
pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
pbdtt-presentatie10dec
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."
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.
popartt
Dit repository bevat de brontekst voor mijn populariserend artikel in verband met mijn thesis: Programmeren en Bewijzen in Dependently Typed Talen.
robuststatistics
Robust Statistics course at KULeuven assigment
sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
statmod
Oefenzittingen voor het vak Statistische modellen en data-analyse aan de KULeuven
tsclt
Thesis on a type system for smart contract languages as used in ethereum.
wyah
Follow along repo for Stephen Diehl's Write You a Haskell