#

statebox

Here are 4 public repositories matching this topic...

statebox / dstbx

dependently typed Statebox (heavy WIP)

dependent-types idris statebox petrinets

Updated Nov 2, 2016
Idris

statebox / purescript-studio

Statebox studio + core + API + REST client

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

Updated Jun 12, 2020
PureScript

bdelacretaz / openwhisk-statebox

Exprimenting with restartable state machines on OpenWhisk

nodejs javascript state-machine openwhisk statebox

Updated Feb 11, 2022
JavaScript

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

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

Updated Apr 1, 2020
Idris

Improve this page

Add a description, image, and links to the statebox topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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