trolando
Follow
-
sylvan Public
Implementation of multi-core (binary) decision diagrams
-
oink Public
Oink, an implementation of modern parity game solvers
-
lace Public
Lace - implementation of work-stealing in C
-
-
bdd-benchmark Public
Forked from ssoelvsten/bdd-benchmarkBenchmarking Suite for BDD packages
C++ MIT License UpdatedAug 4, 2025 -
-
knor Public
Knor, a symbolic synthesis tool for HOA parity automata
-
adventofcode Public
My Advent of Code solutions (in Java)
-
Sims1Tools Public
The main tools I once developed for modding The Sims 1
-
rtl-experiments Public
Empirical evaluation of the ORTL and RTL parity game solvers
Python Apache License 2.0 UpdatedMay 23, 2024 -
knor-artifact Public
Hosts the artifact for the TACAS24 submission of Knor
C GNU General Public License v3.0 UpdatedOct 26, 2023 -
knor-experiments Public
Hosts all experimental data for the TACAS24 submission of Knor
TeX GNU General Public License v3.0 UpdatedOct 16, 2023 -
automoss Public
Forked from automoss/automossAutomate the process of detecting similarities between code for a collection of computer science assignments.
JavaScript UpdatedJan 8, 2023 -
-
sigrefmc Public
Forked from utwente-fmt/sigrefmcMulti-core symbolic bisimulation minimisation
-
sekhmet_dot_chat Public
Forked from mbrattinga/sekhmet_dot_chatSekhmet: secure chatting during digital examination.
HTML MIT License UpdatedApr 16, 2021 -
ltsmin Public
Forked from utwente-fmt/ltsminThe LTSmin model checking toolset
C BSD 3-Clause "New" or "Revised" License UpdatedOct 25, 2020 -
-
hoa2pg Public
Forked from gaperez64/hoa2pgTranslator from extended HOA-format automata to a PGSolver-format parity game
C++ GNU Lesser General Public License v2.1 UpdatedDec 3, 2019 -
hemres Public
Forked from jonge-democraten/hemresNewsletters for the Jonge Democraten
Python MIT License UpdatedJul 20, 2019 -
janeus Public
Forked from jonge-democraten/janeusJaneus implements LDAP-related functionality for sites of de Jonge Democraten.
Python MIT License UpdatedJul 20, 2019 -
hellios Public
Forked from jonge-democraten/helliosHellios - political opinions of the Jonge Democraten
Python MIT License UpdatedJul 20, 2019 -
dfi-experiments Public
Experimental results accompanying the paper about Distraction Fixpoint Iteration
Python Apache License 2.0 UpdatedMay 19, 2019 -
rawr-2.3.23 Public
Forked from ariel-/rawr-2.3.23Rawr version 2.3.23 for World of Warcraft 3.3.5
C# UpdatedMar 22, 2019 -
-
-
-
-
SPGSolver Public
Forked from umbertomarotta/SPGSolverA framework for solving parity games written in Scala, C++, Java and Go
Java UpdatedOct 23, 2017 -
parallel-si Public
Forked from jfearnley/parallel-siC++ BSD 3-Clause "New" or "Revised" License UpdatedOct 21, 2017