Wat we doen
This meet-up is open for anyone interested in learning more about or getting involved in functional programming, open petri nets and open games (categorical game theory).
Statebox is building a formally verified process language using robust mathematical principles to prevent errors, allow composability and ensure termination. In addition, the language is visual and allows one to inspect the flow of the program as it is executing. These properties make Statebox suitable for, among other things, distributed systems, blockchains, workflow management systems, application orchestration and system architecture.