Skip to content


  • Arctic Code Vault Contributor
  • Pro
Block or Report


  1. Implementation of multi-core (binary) decision diagrams

    C 32 14

  2. Lace - implementation of work-stealing in C

    C 22 8

  3. Oink, an implementation of modern parity game solvers

    C++ 17 7

  4. Forked from utwente-fmt/sigrefmc

    Multi-core symbolic bisimulation minimisation

    C 1

68 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri

Contribution activity

April 2021

Created 1 commit in 1 repository

Seeing something unexpected? Take a look at the GitHub profile guide.