Tom van Dijk's repositories
adventofcode
My Advent of Code solutions (in Java)
Sims1Tools
The main tools I once developed for modding The Sims 1
dfi-experiments
Experimental results accompanying the paper about Distraction Fixpoint Iteration
knor-artifact
Hosts the artifact for the TACAS24 submission of Knor
knor-experiments
Hosts all experimental data for the TACAS24 submission of Knor
rawr-2.3.23
Rawr version 2.3.23 for World of Warcraft 3.3.5
rtl-experiments
Empirical evaluation of the ORTL and RTL parity game solvers
Language:PythonApache-2.0000
sekhmet_dot_chat
Sekhmet: secure chatting during digital examination.
sylvan-java
Java bindings for Sylvan