Pinned

1. workflowfm-reasoner workflowfm-reasoner Public

   A logic-based library for correct-by-construction process modelling and composition.

   OCaml 1

2. pew pew Public

   A persistent execution engine for pi-calculus workflows

   Scala 3

3. proter proter Public

   A discrete event simulator for asynchronous prioritized processes

   Scala 1