3 ms·
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 diag
by zozbot123 8y ago
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.
- wires 8y agowe 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 https://github.com/typedefs it is library similar to protocol buffers, but it fits well with proof assistants / functional languages / category theory