State machines, statecharts, and actors for complex logic
Expressive statecharts and FSMs for modern Python.
Schema-first state machines and statecharts for Effect
A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts