toonn/cc-jit-pres
Presentatie over register allocatie voor jit compilers.
Developer Profile
toonn
Discovered public repositories for toonn in the GitHub catalog.
toonn/pbdtt-presentatie10dec
Presentatie over het onderwerp van mijn thesis: "Programmeren en bewijzen in dependently typed talen."
toonn/haskell-gadt-ex
Exercises for: http://en.wikibooks.org/wiki/Haskell/GADT
toonn/fsata-ex
Exercise sessions for the course Formal Systems and their Applications at KULeuven.
toonn/fsata
Implementing a dependently-typed calculus: Project for the course: Formal Systems and their Applications at KULeuven
toonn/genalg
Project for Genetic Algorithms
toonn/agda-exercises
My solutions to the exercises for several agda tutorials.
toonn/complang
Repository for exercise sessions for the course Comparative Programming Languages at KULeuven
toonn/robuststatistics
Robust Statistics course at KULeuven assigment
toonn/capselaiv
Project for the 4th part of the course Capita Selecta: AI at KULeuven
toonn/aplai
Project on constraint programming in ECLiPSe and CHR (swi-prolog) for the APLAI course at KULeuven.
toonn/mas-1314
MultiAgent Systems course at KULeuven
toonn/capselaiii
Discussion of an article on heuristics for the maximally diverse grouping problem (MDGP) for the course Capita Selecta AI at KULeuven.
toonn/swarch-1314
Public repository.
toonn/statmod
Oefenzittingen voor het vak Statistische modellen en data-analyse aan de KULeuven
toonn/capselaii
Second assignment for Capita Selecta: Artificial Intelligence at KULeuven
toonn/mlii
Code and report for Machine Learning and Inductive Inference.
toonn/gedis
Public repository.
toonn/capselai
Code for assignments of the course Capita selecta computerwetenschappen: Artificiële Intelligentie at KULeuven during the academic year 2013-2014
toonn/oss-1314
Ontwerp van Softwaresystemen
toonn/psychic-hipster
Prolog and haskell exercise sessions KULeuven Studie van Declaratieve Talen
toonn/matlab-nmb2
Public repository.
toonn/drunken-dangerzone
Lab sessions for Computer Networks
toonn/sudoku-collection
Collection of sudoku, useful to test sudoku solving programs.
toonn/dirindex
Simple script to create or update a file with an index of a directory. (index is stored in that directory)
toonn/SilverSurfer
Repository for code produced by team zilver for P&O Computerwetenschappen
toonn/RoboRally-kul-ogp
Public repository.