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).

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).

A minimalist UML State machine framework for finite state machine and hierarchical state machine in C

QP-nano real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines

"Low ceremony" graphical modeling and code generation tool based on QP frameworks and Hierarchical State Machines (UML Statecharts)

C++ based Hierarchical / Finite State Machine library oriented for embedded and RTOS systems.

Python statecharts

State machine framework for reactive embedded systems

Metamodel, visualization, simulation, and code generation for Hierarchical Finite State Machines (HFSMs) following the UML State Machine spec.

QP/C++ real-time event framework/RTOS for Arduino (ARM Cortex-M)

yasmine - the C++ UML state machine framework

State machine code generator for C++ and Java.

View finite state machines using fsm-as-promised library as UML diagrams in VSCode

Embedded state machine language with a just-in-time compiler for unparalleled speed and efficiency.

DRYML (an acronym for “DRY Modelling Language”) is both a human- and machine-readable software modelling language

A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) for specifying software with built-in support for UML state machines (and more). Comes with a runtime to run, trace and visualize your (state) machines.

Atom package for writing (and previewing) beautiful state machine charts

UML State Machines for Arduino

Hierarchical state machine framework in Swift.

Two Spring-State-Machines working together in one project