Tom van Dijk

Results 3 repositories owned by Tom van Dijk

lace

25
Stars
8
Forks
Watchers

Lace - implementation of work-stealing in C

oink

24
Stars
9
Forks
Watchers

Oink, an implementation of modern parity game solvers

sylvan

47
Stars
19
Forks
Watchers

Implementation of multi-core (binary) decision diagrams