Expressive statecharts and FSMs for modern Python.
-
Updated
Aug 17, 2026 - Python
Expressive statecharts and FSMs for modern Python.
A javascript implementation of a Harel Statechart.
A tool for executable specifications.
A Data-Driven implementation of Harel Statecharts designed for high-reliability systems.
Smax (pronounced "Smash") is a state machine DSL that generates python code.
This repository contains a progressive, chapter-based tutorial for learning Harel Statecharts using the Sismic library in Python.
Generate Harel-style statecharts from plain-English requirements — SVG, Mermaid, and an editable JSON model, with semantic and layout validation. Zero dependencies.
To associate your repository with the harel-statechart topic, visit your repo's landing page and select "manage topics."