Popular repositories Loading

1. efsm-inference efsm-inference Public

   Tool to infer extended finite state machine (EFSM) models from software execution traces

   Shell 2 1

2. latex-document-outline latex-document-outline Public

   CoffeeScript 1 2

3. efsm-isabelle efsm-isabelle Public

   Implementation of EFSMs in Isabelle/HOL

   Isabelle 1

4. loomio loomio Public

   Forked from loomio/loomio

   Loomio is an open-source web application that helps groups make better decisions together.

   Ruby

5. darwin-2017 darwin-2017 Public

   Python

6. language-dot language-dot Public

   Forked from AdoPi/language-dot

   Dot (Graphviz) package for Atom