Pinned Repositories
adventofcode
My Advent of Code solutions (in Java)
Divine2
knor
Knor, a symbolic synthesis tool for HOA parity automata
lace
Lace - implementation of work-stealing in C
oink
Oink, an implementation of modern parity game solvers
oink-experiments
sigrefmc
Multi-core symbolic bisimulation minimisation
Sims1Tools
The main tools I once developed for modding The Sims 1
sylvan
Implementation of multi-core (binary) decision diagrams
tbdd-fmcad2017
trolando's Repositories
trolando/sylvan
Implementation of multi-core (binary) decision diagrams
trolando/lace
Lace - implementation of work-stealing in C
trolando/oink
Oink, an implementation of modern parity game solvers
trolando/knor
Knor, a symbolic synthesis tool for HOA parity automata
trolando/adventofcode
My Advent of Code solutions (in Java)
trolando/oink-experiments
trolando/Sims1Tools
The main tools I once developed for modding The Sims 1
trolando/tbdd-fmcad2017
trolando/automoss
Automate the process of detecting similarities between code for a collection of computer science assignments.
trolando/dfi-experiments
Experimental results accompanying the paper about Distraction Fixpoint Iteration
trolando/drat-trim
The DRAT-trim proof checker
trolando/sigrefmc
Multi-core symbolic bisimulation minimisation
trolando/hellios
Hellios - political opinions of the Jonge Democraten
trolando/hemres
Newsletters for the Jonge Democraten
trolando/hoa2pg
Translator from extended HOA-format automata to a PGSolver-format parity game
trolando/janeus
Janeus implements LDAP-related functionality for sites of de Jonge Democraten.
trolando/knor-artifact
Hosts the artifact for the TACAS24 submission of Knor
trolando/knor-experiments
Hosts all experimental data for the TACAS24 submission of Knor
trolando/ltsmin
The LTSmin model checking toolset
trolando/parallel-si
trolando/ParallelSaturationExperiments
trolando/rawr-2.3.23
Rawr version 2.3.23 for World of Warcraft 3.3.5
trolando/rtl-experiments
Empirical evaluation of the ORTL and RTL parity game solvers
trolando/sekhmet_dot_chat
Sekhmet: secure chatting during digital examination.
trolando/shorthash
How fast can you hash a machine word?
trolando/SPGSolver
A framework for solving parity games written in Scala, C++, Java and Go
trolando/sylvan-java
Java bindings for Sylvan
trolando/tl-experiments
trolando/WarriorSim
trolando/zues
Congresvoorstellen indienen