Automate
Finite-state machine generator
Generates Ada code from finite-state machine descriptions.
Ada finite-state machine generator.
7 stars
2 watching
0 forks
Language: Ada
last commit: about 1 year ago
Linked from 1 awesome list
Related projects:
Repository | Description | Stars |
---|---|---|
nazavode/automaton | A Python library to define and manage finite-state machines in an easy-to-use and elegant way | 23 |
fgmacedo/python-statemachine | A Python library for creating and managing finite state machines with support for synchronous and asynchronous programming, conditional transitions, and graphical representation. | 911 |
glyph/automat | A Python library for expressing finite-state machines in an idiomatic way, allowing developers to define and enforce complex state transitions without cluttering their code with conditional logic. | 592 |
blady-com/tp7ada-gnoga | A set of Ada bindings for Turbo Pascal 7.0 units with support for graphic programming using Gnoga. | 5 |
blady-com/j2ada | Translates Java source code into Ada source code with some manual modifications needed. | 3 |
veelenga/aasm.cr | A simple finite state machine library for Crystal classes | 51 |
qmuntal/stateless | A Go library for creating finite state machines directly in code | 967 |
adacore/recordflux | A toolset for generating verifiable parsers and protocol state machines from formal specifications. | 106 |
stcarrez/dynamo | An Ada application code generator that creates web applications or database mappings from various input formats. | 17 |
blady-com/tp7ada-gtkada | Ada bindings of Turbo Pascal 7.0 units with GTKAda to facilitate translation and use of Pascal applications in Ada. | 3 |
davidmoten/state-machine | Generates Java classes to handle state transitions based on a state machine definition | 135 |
zertovitch/ada-bar-codes | A package for generating various types of bar codes on different output formats. | 14 |
blady-com/uxstrings | Improves the representation of character strings in Ada GUI applications to handle internationalization and Unicode support more efficiently | 11 |
simonjwright/coldframe | A tool that generates Ada code and documentation from UML models | 9 |
atabel/makina | A simple finite state machine with guard conditions and callbacks for managing complex logic flows. | 1 |