Thomas Hoek's repositories
AdventsOfCode
Advents of code solutions
Language:Python000
game_of_life
Game of Life Visualisor for Behaviour-based Simulation course.
LangPro
Tableau-based Theorem Prover for Natural Logic and Language
Language:PrologBSD-3-Clause000
Lola
Logic and language course group project
Language:Prolog000
LRC-Dataset-Creator
Pipeline to transfer NLI datasets from CCG into unsupervised LRC datasets
Language:Prolog000
NGU
ngu game simulator
Language:C#000
Project-Euler
Project euler puzzles
Language:Fortran000
Language:Prolog000