Popular repositories Loading

1. snakes snakes Public

   SNAKES is the Net Algebra Kit for Editors and Simulators

   Python 93 29

2. codanim codanim Public

   Animated code & data structures with LaTeX/beamer

   Python 14 1

3. zinc zinc Public

   ZINC is a Net Compiler

   Python 7 3

4. PETRINETS-2017-supplementary PETRINETS-2017-supplementary Public

   Supplementary material for paper "Faster simulation of (coloured) Petri nets using parallel computing" in PETRI NETS 2017.

   Python 4 3

5. badass badass Public

   quickly produce bad assessments of good projects, but good assessments of bad projects

   Python 4 1

6. pytl pytl Public

   Python parser and translator for varied temporal logics

   Python 3