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
LRC-Dataset-Creator
Pipeline to transfer NLI datasets from CCG into unsupervised LRC datasets
Project-Euler
Project euler puzzles
Language:Prolog000