AlexandreDecan / sismic Sponsor Star 155 Code Issues Pull requests Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/ python testing uml finite-state-machine behavior-driven-development property-testing statecharts hierarchical-state-machine design-by-contract Updated Oct 29, 2025 Python
aleph2c / miros Star 58 Code Issues Pull requests Python statecharts state-machine uml python3 reactive-programming hsm uml-state-machine statecharts harel Updated Jun 9, 2024 Python
zen747 / pyscm Star 16 Code Issues Pull requests A python framework base on David Harel's statecharts (SCXML). state-machine statechart scxml statecharts david-harel Updated Sep 13, 2021 Python
Lecrapouille / PlantUMLStatecharts Sponsor Star 8 Code Issues Pull requests [Tool][Functional] Generate state machine in C++ from PlantUML statecharts translator fsm generator state-machine cpp statechart uml plantuml finite-state-machine statecharts Updated Feb 13, 2023 Python
outcompute / sismic-statecharts-tutorial Star 0 Code Issues Pull requests This repository contains a progressive, chapter-based tutorial for learning Harel Statecharts using the Sismic library in Python. workflow tutorial python3 flowchart scxml statecharts harel-statechart sismic Updated Nov 30, 2025 Python