Repositories list

• workcraft

  Public
  Toolset to capture, simulate, synthesize and verify graph models

  fsmasyncsimulation+ 8edacadpetri-netscircuitformal-verificationlogic-synthesisstg+ 1

  Java

  •

  MIT License

  •142•62•59•0•Updated Nov 20, 2024Nov 20, 2024

• workcraft-dist-template

  Public
  Template for Workcraft distribution

  HTML

  •2•0•1•0•Updated Nov 18, 2024Nov 18, 2024

• workcraft-plugin-example-petri

  Public
  Java

  •

  MIT License

  •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

• workcraft-plugin-example-graph

  Public
  Directed graph plugin example for Workcraft

  Java

  •

  MIT License

  •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

• workcraft-plugins-example

  Public
  Workcraft plugins for plugin development tutorial

  MIT License

  •0•0•0•0•Updated Nov 18, 2024Nov 18, 2024

• msfsm

  Public
  Multiple Synchronised FSMs

  Other

  •0•5•0•0•Updated Dec 8, 2020Dec 8, 2020

• workcraft-doc

  Public
  Help and tutorial pages for Workcraft

  HTML

  •1•0•0•0•Updated Nov 24, 2020Nov 24, 2020

• arbitration-primitives

  Public
  Asynchronous Arbitration Primitives

  MIT License

  •1•0•0•0•Updated Nov 22, 2017Nov 22, 2017

• workcraft-2.2

  Public
  Java

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated Apr 14, 2016Apr 14, 2016

• workcraft-1.0

  Public
  Java

  •0•0•0•0•Updated Apr 14, 2016Apr 14, 2016