Pinned Repositories
ranger
A VIM-inspired filemanager for the console
aplai
Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the APLAI course at KULeuven.
coderdojo-katana
Ninjas need katanas, scratchers need gamepads
dotfiles
Some of the dotfiles I can't do without.
nix-config
My personal Nix configuration
Nix-macOS-Monthly
Nix 🖤 macOS Monthly Discourse update posts
skeletonkey
The Master Password algorithm implemented in haskell
spellbinder
Declaratively manage a directory tree and a corresponding set of bind mounts
sudoku-collection
Collection of sudoku, useful to test sudoku solving programs.
toonn's Repositories
toonn/aplai
Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the APLAI course at KULeuven.
toonn/genalg
Project for Genetic Algorithms
toonn/quintessence
Functional programming language for the EVM
toonn/agda-casestt
A couple case studies to compare agda to other dependently typed languages
toonn/agda-exercises
My solutions to the exercises for several agda tutorials.
toonn/bdap-proj1
First project for the Big Data Analytics Programming course at KULeuven
toonn/bdap-proj2
Second project for the Big Data Analytics Programming course at KULeuven
toonn/bdap-proj3
Third project for the Big Data Analytics Programming course at KULeuven
toonn/bdap-proj4
4th assignment for the Big Data Analytics Programming course at KULeuven
toonn/capselaiv
Project for the 4th part of the course Capita Selecta: AI at KULeuven
toonn/cc-jit-pres
Presentatie over register allocatie voor jit compilers.
toonn/checkm8
Knight's tour solver
toonn/complang
Repository for exercise sessions for the course Comparative Programming Languages at KULeuven
toonn/fsata
Implementing a dependently-typed calculus: Project for the course: Formal Systems and their Applications at KULeuven
toonn/fsata-ex
Exercise sessions for the course Formal Systems and their Applications at KULeuven.
toonn/gevcrypt-presentation22may
On the Importance of Checking Cryptographic Protocols for Faults (Extended abstract), EUROCRYPT '97
toonn/haskell-casestt
Case studies for a comparison between Agda, Haskell and Coq
toonn/haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT
toonn/HKYNO
How to Keep Your Neighbours in Order by Connor McBride
toonn/marko-chain
Simple markov chain irc bot
toonn/mas-1314
MultiAgent Systems course at KULeuven
toonn/pbdtt
Thesis over het gebruik van talen met *dependent types* als programmeertaal in tegenstelling tot als bewijsassistent.
toonn/pbdtt-presentatie10dec
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."
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/popartt
Dit repository bevat de brontekst voor mijn populariserend artikel in verband met mijn thesis: Programmeren en Bewijzen in Dependently Typed Talen.
toonn/robuststatistics
Robust Statistics course at KULeuven assigment
toonn/sciartt
Een wetenschappelijk artikel over Red-Black Trees in verschillende talen met *dependent types*.
toonn/statmod
Oefenzittingen voor het vak Statistische modellen en data-analyse aan de KULeuven
toonn/tsclt
Thesis on a type system for smart contract languages as used in ethereum.
toonn/wyah
Follow along repo for Stephen Diehl's Write You a Haskell