DanielvanVliet

Pinned Repositories

Tower-defense
TCTI-V2THGA
Language:C++02
cicd-workshop-staging
Language:HTML0 1 00
NavGap
Language:Python00
OOX
A symbolic verification tool for object oriented languages
Language:Rust00
Tower-defense
TCTI-V2THGA
Language:C++00
mijndenhaag-pwa
Progressive Web App based on React and Gatsby for the MijnDenHaag personal environment.
Language:TypeScript11
mijngemeente-gateway
Public proxy gateway for the OpenZaak API.
Language:TypeScript10
denhaag
Work in Progress: Den Haag Design System based on the NL Design System architecture
Language:MDX127
3D_OBJECT_POSITIONAL_PREDICTION
Language:C++11
logic-notes
Lecture notes for the course on 'Logic for Computer Science' taught at Utrecht University.
Language:TeX32

DanielvanVliet's Repositories

DanielvanVliet/cicd-workshop-staging
Language:HTML0 1 00
DanielvanVliet/NavGap
Language:Python00
DanielvanVliet/OOX
A symbolic verification tool for object oriented languages
Language:Rust00
DanielvanVliet/Tower-defense
TCTI-V2THGA
Language:C++00