Pinned Repositories
CoRA
Coverability and Reachability Analyzer
ApgaWebsite
Website detailing the challenges for the Applied Games course (B3APGA) at Utrecht University
cmod
Coverability graph modeller
emacs.d
Personal emacs config
gitgud-clonetest
Lekker knutselen!
tsheap
Typescript implementation of a heap
tsmatrix
Datastructure for matrixes in TypeScript
gitgud-clonetest
Lekker knutselen!
lsteehouwer's Repositories
lsteehouwer/ApgaWebsite
Website detailing the challenges for the Applied Games course (B3APGA) at Utrecht University
lsteehouwer/cmod
Coverability graph modeller
lsteehouwer/emacs.d
Personal emacs config
lsteehouwer/gitgud-clonetest
Lekker knutselen!
lsteehouwer/tsheap
Typescript implementation of a heap
lsteehouwer/tsmatrix
Datastructure for matrixes in TypeScript