StateSmith
A state machine code generation tool suitable for bare metal, embedded and more. (by StateSmith)
tlsd
Generate (message) sequence diagrams from TLA+ state traces (by eras)
Our great sponsors
| StateSmith | tlsd | |
|---|---|---|
| 16 | 2 | |
| 443 | 12 | |
| 5.9% | - | |
| 8.4 | 0.0 | |
| about 21 hours ago | about 1 year ago | |
| C# | Python | |
| Apache License 2.0 | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
StateSmith
Posts with mentions or reviews of StateSmith.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-08.
-
State machine library for portable embedded application (C++11)
I wrote StateSmith to be super portable. It has zero dependencies and avoids the heap. Works great with draw.io https://github.com/StateSmith/StateSmith/
-
Generating state machines from draw.io diagrams with StateSmith - my first real C# project :) Supports C#, C99, JS right now.
No worries. If you are just getting started with state machines, here's a page with some quick guidance and typical uses: https://github.com/StateSmith/StateSmith/wiki/App-Notes
-
StateSmith supports draw.io! Embedded state machines in style :)
Great suggestion! I added this issue to track it: https://github.com/StateSmith/StateSmith/issues/101
-
Embedded Systems Weekly #120
StateSmith StateSmith is a new cross-platform, free and open source tool for generating state machines. The author explains his motivation to develop a new library with this statement: "I couldn't find a state machine code generator that was suitable for low level embedded application use, had an attractive license, and was enjoyable to use." We all hope Adam Fraser-Kruck will continue to work on StateSmith and to maintain it.
-
I wrote StateSmith with embedded devs (like me) in mind. It compiles diagrams to FSM C or C++. Below sim uses arduino, but any platform works. Would you use it? Why/not? Feedback welcome!
PlantUML input is now supported in the dev branch. Two examples are updated to use it and they generate the same .c code as the yEd diagrams so it looks to be working well. Thanks for the suggestion!
-
If you deal in state machines, you might enjoy StateSmith. It compiles diagrams to C or C++ with zero dependencies. Free & opensource.
If speed is super important to your application, feel free to open an [issue](https://github.com/StateSmith/StateSmith/issues) so that you'll know when I start work on it.
-
I just released a free/opensource project that generates state machines from diagrams! Here's an arduino laser tag menu built with StateSmith.
Lots of documentation and examples at the repo: https://github.com/StateSmith/StateSmith/
tlsd
Posts with mentions or reviews of tlsd.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-09-19.
-
If you deal in state machines, you might enjoy StateSmith. It compiles diagrams to C or C++ with zero dependencies. Free & opensource.
I've previously written this tool to generate sequence diagrams from TLA+ models (by having tlc first generate state transition graphs). It visualizes clearly how it actually takes time for a message to end up from the sender to the client.
- Generate (message) sequence diagrams from TLA+ state traces
What are some alternatives?
When comparing StateSmith and tlsd you can also consider the following projects:
PipelineC-Graphics - Graphics demos
CommunityModules - TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Facts-about-State-Machines - I hold the opinion that state machines are underrated
pytm - A Pythonic framework for threat modeling
Examples - A collection of TLA⁺ specifications of varying complexities
timewinder - Temporal Logic of Actions in Rust via Starlark
modelator-py - Utilities for the TLA+ ecoystem and model-based testing using TLA+.