automate

github.comtool

Finite-state machine generator.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   spark-2014 github.com

   SPARK formal verification toolset.

   tool link ↗
   
2. ▲

   anagram github.com

   Grammar handling and parser generation Ada library.

   tool link ↗
   
3. ▲

   spark-by-example github.com

   Collection of verified functions and data types in SPARK.

   tool link ↗
   tool
4. ▲

   Automat github.com

   A Clojure(Script) library for defining and using finite-state automata, inspired by Ragel.

   tool topic programming link ↗
   
5. ▲

   aasm.cr github.com

   Easy to use finite state machine for Crystal classes

   tool link ↗
   tool
6. ▲

   adamant github.com

   A component-based, model-driven framework for constructing reliable and reusable real-time software.

   tool topic programming link ↗
   

Ada/SPARK › Tools > Generation: “Finite-state machine generator.”