Popular repositories Loading

1. momba momba Public

   Forked from koehlma/momba

   A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.

   PDDL 1

2. Coyan Coyan Public

   Coyan is a tool that processes Static Fault Trees to compute the Top Event Probabilty.

   Rust 1

3. betoNER betoNER Public

   Jupyter Notebook

4. aph-rs aph-rs Public

   Forked from koehlma/aph-rs

   A tool and Rust library for acyclic phase-type (APH) distributions.

   Rust