Automate

Finite-state machine generator

Generates Ada code from finite-state machine descriptions.

Ada finite-state machine generator.

GitHub

7 stars
2 watching
0 forks
Language: Ada
last commit: almost 3 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
nazavode/automatonA Python library to define and manage finite-state machines in an easy-to-use and elegant way23
fgmacedo/python-statemachineA Python library for creating and managing finite state machines with support for synchronous and asynchronous programming, conditional transitions, and graphical representation.931
glyph/automatA 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.594
blady-com/tp7ada-gnogaA set of Ada bindings for Turbo Pascal 7.0 units with support for graphic programming using Gnoga.5
blady-com/j2adaTranslates Java source code into Ada source code with some manual modifications needed.3
veelenga/aasm.crA simple finite state machine library for Crystal classes52
qmuntal/statelessA Go library for creating finite state machines directly in code981
adacore/recordfluxA toolset for generating verifiable parsers and protocol state machines from formal specifications.107
stcarrez/dynamoAn Ada application code generator that creates web applications or database mappings from various input formats.17
blady-com/tp7ada-gtkadaAda bindings of Turbo Pascal 7.0 units with GTKAda to facilitate translation and use of Pascal applications in Ada.3
davidmoten/state-machineGenerates Java classes to handle state transitions based on a state machine definition135
zertovitch/ada-bar-codesA package for generating various types of bar codes on different output formats.14
blady-com/uxstringsImproves the representation of character strings in Ada GUI applications to handle internationalization and Unicode support more efficiently11
simonjwright/coldframeA tool that generates Ada code and documentation from UML models9
atabel/makinaA simple finite state machine with guard conditions and callbacks for managing complex logic flows.1