Popular repositories Loading

1. kiki kiki Public

   used in practice

   Python

2. MERD-DM MERD-DM Public

   Raku

3. XSTAMPP XSTAMPP Public

   Forked from SE-Stuttgart/XSTAMPP

   XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption and use of STAMP methodologies (STPA and CAST) in different…

   Java

4. cloud-project cloud-project Public

   UML etc

5. ACC ACC Public

   Promela