That's nice, but all I see on the statebox.org website is vaporware. Where's the MVP? Even just having one component available (structured text editor or diagrammatic editor for the underlying Petri net) would help a lot.
we are working on the MVP, getting there, this wasn't supposed to blow up yet, don't want to give any wrong impressions.
currently a lot of our efforts are going into a core component of statebox, https://github.com/typedefs it is library similar to protocol buffers, but it fits well with proof assistants / functional languages / category theory
