ThomasHoek

contact: t.hoek@students.uu.nl

Pinned Repositories

AdventsOfCode
Advents of code solutions
Language:Python00
Boids
Language:Python0 2 02
game_of_life
Game of Life Visualisor for Behaviour-based Simulation course.
Language:Python0 1 00
Haskell_old
Language:Haskell0 2 00
LangPro
Tableau-based Theorem Prover for Natural Logic and Language
Language:Prolog00
Lola
Logic and language course group project
Language:Prolog01
LRC-Dataset-Creator
Pipeline to transfer NLI datasets from CCG into unsupervised LRC datasets
Language:Prolog00
NGU
ngu game simulator
Language:C#00
Project-Euler
Project euler puzzles
Language:Fortran00
prove_MED_NL
Language:Prolog00

ThomasHoek's Repositories

ThomasHoek/AdventsOfCode
Advents of code solutions
Language:Python00
ThomasHoek/Boids
Language:Python0 2 02
ThomasHoek/game_of_life
Game of Life Visualisor for Behaviour-based Simulation course.
Language:Python0 1 00
ThomasHoek/Haskell_old
Language:Haskell0 2 00
ThomasHoek/Lola
Logic and language course group project
Language:Prolog01
ThomasHoek/NGU
ngu game simulator
Language:C#00
ThomasHoek/Project-Euler
Project euler puzzles
Language:Fortran00
ThomasHoek/prove_MED_NL
Language:Prolog00
ThomasHoek/simulation-modelling
Language:Jupyter Notebook0 2 00
ThomasHoek/simulation-tooling
Language:Python0 2 00