Repos
41
Stars
189
Forks
62
Top Language
C++
Loading contributions...
Top Repositories
Implementation of multi-core (binary) decision diagrams
Lace - implementation of work-stealing in C
Oink, an implementation of modern parity game solvers
Knor, a symbolic synthesis tool for HOA parity automata
The main tools I once developed for modding The Sims 1
Repositories
41Implementation of multi-core (binary) decision diagrams
Lace - implementation of work-stealing in C
Knor, a symbolic synthesis tool for HOA parity automata
No description provided.
The main tools I once developed for modding The Sims 1
Oink, an implementation of modern parity game solvers
Benchmarking Suite for BDD packages
Docker build for Knor
My Advent of Code solutions (in Java)
Experimental results accompanying the paper about Distraction Fixpoint Iteration
Empirical evaluation of the ORTL and RTL parity game solvers
Hosts the artifact for the TACAS24 submission of Knor
Hosts all experimental data for the TACAS24 submission of Knor
No description provided.
Automate the process of detecting similarities between code for a collection of computer science assignments.
No description provided.
Sekhmet: secure chatting during digital examination.
The LTSmin model checking toolset
Multi-core symbolic bisimulation minimisation
Congresvoorstellen indienen
Hellios - political opinions of the Jonge Democraten
Janeus implements LDAP-related functionality for sites of de Jonge Democraten.
Newsletters for the Jonge Democraten
Translator from extended HOA-format automata to a PGSolver-format parity game
No description provided.
Rawr version 2.3.23 for World of Warcraft 3.3.5
No description provided.
Java bindings for Sylvan
No description provided.
A framework for solving parity games written in Scala, C++, Java and Go