Pinned Loading

1. sylvan sylvan Public

   Implementation of multi-core (binary) decision diagrams

   C 67 29

2. lace lace Public

   Lace - implementation of work-stealing in C

   C++ 34 8

3. oink oink Public

   Oink, an implementation of modern parity game solvers

   C++ 31 11

4. sigrefmc sigrefmc Public

   Forked from utwente-fmt/sigrefmc

   Multi-core symbolic bisimulation minimisation

   C 2