QP/C Real-Time Event Framework/RTOS implements event-driven Active Object (Actor) model combined with Hierarchical State Machines. Specifically designed for embedded systems (e.g., ARM Cortex-M MCUs).
Expressive statecharts and FSMs for modern Python.
A powerful Kotlin Multiplatform state machine library with clean DSL syntax and first-class Kotlin Coroutines support