statebox

There are 4 repositories under statebox topic.

statebox/dstbx
dependently typed Statebox (heavy WIP)
Language:Idris9 2 00
statebox/purescript-studio
Statebox studio + core + API + REST client
Language:PureScript4 5 2251
statebox/idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
Language:Idris2 8 481
bdelacretaz/openwhisk-statebox
Exprimenting with restartable state machines on OpenWhisk
Language:JavaScript1 3 0