statebox

Here are 4 public repositories matching this topic...

dependently typed Statebox (heavy WIP)

dependent-types idris statebox petrinets

Statebox studio + core + API + REST client

editor api gui purescript petrinet protocol-oriented-programming statebox string-diagram

Category theoretic semantics of glued open Petri nets in Idris

dependent-types core category-theory idris literate-programming petrinet statebox petrinets

Exprimenting with restartable state machines on OpenWhisk

nodejs javascript state-machine openwhisk statebox

To associate your repository with the statebox topic, visit your repo's landing page and select "manage topics."