trolando Goto Github PK

adventofcode

My Advent of Code solutions (in Java)

automoss

Automate the process of detecting similarities between code for a collection of computer science assignments.

dfi-experiments

Experimental results accompanying the paper about Distraction Fixpoint Iteration

divine2

drat-trim

The DRAT-trim proof checker

dyonisos

Online event registration and payment platform.

filebrowser-safe

File manager for Mezzanine

hellios

Hellios - political opinions of the Jonge Democraten

hemres

Newsletters for the Jonge Democraten

hoa2pg

Translator from extended HOA-format automata to a PGSolver-format parity game

html5sortable

Lightweight jQuery plugin to create sortable lists and grids using native HTML5 drag and drop API.

hwloc

Hardware locality (hwloc)

janeus

Janeus implements LDAP-related functionality for sites of de Jonge Democraten.

knor

Knor, a symbolic synthesis tool for HOA parity automata

knor-artifact

Hosts the artifact for the TACAS24 submission of Knor

knor-experiments

Hosts all experimental data for the TACAS24 submission of Knor

lace

Lace - implementation of work-stealing in C

ltsmin

The LTSmin model checking toolset

oink

Oink, an implementation of modern parity game solvers

oink-experiments

parallel-si

parallelsaturationexperiments

powertop

The Linux PowerTOP tool -- please post patches to the mailing list instead of using github pull requests

python-rx320

RX320 controller plus tcp/ip interface written in Python

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

sekhmet_dot_chat

Sekhmet: secure chatting during digital examination.

shorthash

How fast can you hash a machine word?

sigrefmc

Multi-core symbolic bisimulation minimisation

sims1tools

The main tools I once developed for modding The Sims 1