Pinned Loading

1. SPLMC/reana-spl SPLMC/reana-spl Public

   ReAna variants for empirical comparison of analysis strategies.

   Java 2 26

2. xreferences xreferences Public

   Builds a dependency graph from cross-references in LaTeX documents and outputs tikz-wrapped Dot files.

   Python 2

3. rbonifacio/hephaestus-pl rbonifacio/hephaestus-pl Public

   Haskell 5 3

4. graphusion graphusion Public

   Variability handling in DTMCs.

   Haskell

5. jep jep Public

   Fork of Java Expression Parser (JEP)

   Java 1

6. param param Public

   Fork of the excelent PARAMetric Markov Model Analyser (PARAM Tool).

   C++ 1