GitHub topics: statebox
statebox/idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
Language: Idris - Size: 980 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1
statebox/purescript-studio
Statebox studio + core + API + REST client
Language: PureScript - Size: 1.84 MB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 0
bdelacretaz/openwhisk-statebox
Exprimenting with restartable state machines on OpenWhisk
Language: JavaScript - Size: 182 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0
statebox/dstbx
dependently typed Statebox (heavy WIP)
Language: Idris - Size: 606 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 8 - Forks: 0