Actor-based state machines and statecharts
Model complex logic as visual state machines: explicit, testable, serializable flows.
Who it's for
Developers who want complex flows modelled as formally verifiable state machines and actors.
Official links
Keep exploring
1 in catalog
XState is written in
1 in catalog
XState works with
1 in catalog