Hierarchical state machines for designing event-driven systems
A rust implementation of statecharts: hierarchical, reactive state machines
SCXML - State Chart XML (State Machine Notation for Control Abstraction)
A Data-Driven implementation of Harel Statecharts designed for high-reliability systems.
Semantic analyzer for Rust + Crux applications: extracts state machines, events and effects from the syn AST into an intermediate model that powers a web UI, Mermaid/Markdown docs and a VS Code extension.
C++/Kotlin/Rust state machine engine with W3C SCXML AOT code generation
Deterministic hierarchical statechart engine with a tamper-evident journal and exact decimal arithmetic. Zero dependencies. Usable as a Rust library, a CLI, or an MCP server for LLM-driven workflows.
To associate your repository with the statechart topic, visit your repo's landing page and select "manage topics."
