Giters
Tom van Dijk (trolando)

trolando

Geek Repo

40

followers

6

following

13

stars

Company:University of Twente

Location:Netherlands

Home Page:http://www.tvandijk.nl

Github PK Tool:Github PK Tool

Tom van Dijk's repositories

sylvan

Implementation of multi-core (binary) decision diagrams

Language:CLicense:Apache-2.0Stargazers:65Issues:8Issues:30

lace

Lace - implementation of work-stealing in C

Language:C++License:Apache-2.0Stargazers:32Issues:6Issues:5

oink

Oink, an implementation of modern parity game solvers

Language:C++License:Apache-2.0Stargazers:31Issues:6Issues:9

knor

Knor, a symbolic synthesis tool for HOA parity automata

Language:C++License:GPL-3.0Stargazers:3Issues:3Issues:0

adventofcode

My Advent of Code solutions (in Java)

Language:JavaLicense:Apache-2.0Stargazers:1Issues:3Issues:0

oink-experiments

Language:C++License:Apache-2.0Stargazers:1Issues:3Issues:0

Sims1Tools

The main tools I once developed for modding The Sims 1

License:Apache-2.0Stargazers:1Issues:0Issues:0

tbdd-fmcad2017

Language:PythonStargazers:1Issues:3Issues:0

automoss

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

Language:JavaScriptStargazers:0Issues:1Issues:0

dfi-experiments

Experimental results accompanying the paper about Distraction Fixpoint Iteration

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

drat-trim

The DRAT-trim proof checker

Language:CLicense:MITStargazers:0Issues:3Issues:0

sigrefmc

Multi-core symbolic bisimulation minimisation

Language:CLicense:Apache-2.0Stargazers:0Issues:3Issues:0

hellios

Hellios - political opinions of the Jonge Democraten

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

hemres

Newsletters for the Jonge Democraten

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

hoa2pg

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

Language:C++License:LGPL-2.1Stargazers:0Issues:2Issues:0

janeus

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

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

knor-artifact

Hosts the artifact for the TACAS24 submission of Knor

Language:CLicense:GPL-3.0Stargazers:0Issues:2Issues:0

knor-experiments

Hosts all experimental data for the TACAS24 submission of Knor

Language:TeXLicense:GPL-3.0Stargazers:0Issues:2Issues:0

ltsmin

The LTSmin model checking toolset

Language:CLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

parallel-si

Language:C++License:BSD-3-ClauseStargazers:0Issues:3Issues:0

ParallelSaturationExperiments

Language:C++License:Apache-2.0Stargazers:0Issues:5Issues:0

rawr-2.3.23

Rawr version 2.3.23 for World of Warcraft 3.3.5

Language:C#Stargazers:0Issues:2Issues:0

rtl-experiments

Empirical evaluation of the ORTL and RTL parity game solvers

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0

sekhmet_dot_chat

Sekhmet: secure chatting during digital examination.

Language:HTMLLicense:MITStargazers:0Issues:2Issues:0

shorthash

How fast can you hash a machine word?

Language:C++License:Apache-2.0Stargazers:0Issues:3Issues:0

SPGSolver

A framework for solving parity games written in Scala, C++, Java and Go

Language:JavaStargazers:0Issues:3Issues:0

sylvan-java

Java bindings for Sylvan

Language:JavaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

tl-experiments

Language:PythonLicense:Apache-2.0Stargazers:0Issues:3Issues:0

WarriorSim

Language:CSSStargazers:0Issues:2Issues:0

zues

Congresvoorstellen indienen

Language:PythonLicense:MITStargazers:0Issues:3Issues:0