What is Statebox?

Statebox is developing a visual language for modeling processes in a compositional way, and a technology stack for executing them.

In doing so, we rely on groundbreaking mathematical research in the areas of category theory, type theory, Petri nets, open games, cryptography, and others. We incorporate these into a formally verified functional programming approach, which allows us to provide unprecedented correctness guarantees.

The Statebox Language

The main properties of the Statebox language are:

The Statebox Platform

The main parts of the ecosystem are: