http://www.tvandijk.nl [email protected]
University of Twente Netherlands
Tom van Dijk
Lace - implementation of work-stealing in C
trolando
Oink, an implementation of modern parity game solvers
Implementation of multi-core (binary) decision diagrams