Pinned Repositories
algoritmisch-denken-student
DO NOT USE THIS REPO - DEPRECATED - WILL BE DELETED - GO TO UCLL ORG INSTEAD
car
Car Simulation
contracts
Ruby contracts gem
countdown-solver
Countdown Solver in O'Caml
curriculum
dodona-test
Example exercises for dodona.ugent.be
genlp
Generator for linear programming problems
git-slides
Introductory slides to git
rustracer
Rust Ray Tracer
TI-oplossingen
Oplossingen voor dingen van sommige vakken
fvogels's Repositories
fvogels/rustracer
Rust Ray Tracer
fvogels/car
Car Simulation
fvogels/countdown-solver
Countdown Solver in O'Caml
fvogels/curriculum
fvogels/dodona-test
Example exercises for dodona.ugent.be
fvogels/genlp
Generator for linear programming problems
fvogels/git-slides
Introductory slides to git
fvogels/gitviewer-backend
fvogels/gitviewer-frontend
fvogels/Kmeans-COVID-19-BelgianProvinces
Data Analysis project on Clustering the Belgian provinces, based on COVID-19 Data.
fvogels/katamaran
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
fvogels/p1-exercises
fvogels/p2-exercises-fork
fvogels/pkg
fvogels/proofchecker
fvogels/proxytest
fvogels/pylambda
Lambda Calculus style programming in Python
fvogels/pysim
PySim
fvogels/pysnake
fvogels/pywhitespace
Python interpreter for whitespace
fvogels/react-die-viewer
React.js Die Viewer
fvogels/riddles
Hours of fun!
fvogels/sail
Sail architecture definition language
fvogels/simlife
fvogels/template-typescript-react-webpack
Template for TypeScript + React + Webpack
fvogels/ts-nonogram
Typescript library for nonograms
fvogels/ts-range
TypeScript range functionality
fvogels/wordle-solver
Wordle Solver
fvogels/wordleaid
Aid for solving Wordle puzzles
fvogels/youtube-dl
Command-line program to download videos from YouTube.com and other video sites