Skip to content
@workflowfm

WorkflowFM

Formally verified, resource-based process workflows

Pinned Loading

  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

Repositories

Showing 10 of 13 repositories
  • workflowfm.github.io Public
    workflowfm/workflowfm.github.io’s past year of commit activity
    CSS 0 0 0 0 Updated Dec 27, 2023
  • workflowfm-reasoner Public

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

    workflowfm/workflowfm-reasoner’s past year of commit activity
    OCaml 1 Apache-2.0 0 4 0 Updated Dec 27, 2023
  • pew Public

    A persistent execution engine for pi-calculus workflows

    workflowfm/pew’s past year of commit activity
    Scala 3 Apache-2.0 0 10 1 Updated Dec 27, 2023
  • workflowfm-composer Public

    A Java-based server and GUI for formally verified process composition using the WorkflowFM Reasoner

    workflowfm/workflowfm-composer’s past year of commit activity
    Java 1 Apache-2.0 0 0 0 Updated Dec 26, 2023
  • proter Public

    A discrete event simulator for asynchronous prioritized processes

    workflowfm/proter’s past year of commit activity
    Scala 1 Apache-2.0 0 16 3 Updated Dec 25, 2023
  • proter-online Public archive
    workflowfm/proter-online’s past year of commit activity
    Scala 0 Apache-2.0 0 0 0 Updated Jul 27, 2022
  • ProterTutorial Public

    Tutorial Example for Proter

    workflowfm/ProterTutorial’s past year of commit activity
    Scala 1 Apache-2.0 0 0 0 Updated Jul 24, 2022
  • vis-workflow-timeline Public

    An application of vis-timeline to workflow data.

    workflowfm/vis-workflow-timeline’s past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated May 17, 2022
  • proter-online-frontend Public
    workflowfm/proter-online-frontend’s past year of commit activity
    JavaScript 0 Apache-2.0 0 0 0 Updated Apr 6, 2022
  • pew-deploy.g8 Public

    Template of deployment project for the WorkflowFM PEW Engine

    workflowfm/pew-deploy.g8’s past year of commit activity
    Scala 1 CC0-1.0 0 0 0 Updated Jan 26, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…