Popular repositories Loading

1. pnerf pnerf Public

   Petrinizer: A Constraint-Based Model Checker for Petri Nets

   Prolog 2

2. faterpg faterpg Public

   A toolkit for generating characters for the FATE RPG

   Haskell 2

3. slapnet slapnet Public

   Safety and Liveness Analysis of Petri Nets with SMT solvers

   Haskell 1 2

4. tensidedcoin tensidedcoin Public

   Blog über Materialien und Experimente aus diversen Rollenspielsystemen, Brettspiele u.v.m.

   Haskell 1

5. modal-refinement modal-refinement Public

   Scala

6. bachelor-thesis bachelor-thesis Public