QP/C Real-Time Event Framework/RTOS is a lightweight implementation of the asynchronous, event-driven Active Object (Actor) model combined with Hierarchical State Machines.

QP/C++ Real-Time Event Framework/RTOS is a lightweight implementation of the asynchronous, event-driven Active Object (Actor) model combined with Hierarchical State Machines.

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

Graphical modeling and code generation tool based on UML state machines

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

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

UML State Machines for Arduino

Hierarchical state machine framework in Swift.

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.

Two Spring-State-Machines working together in one project