Last released May 29, 2025
Wrapper over `automata-lib` with the goal of supporting GOLD-3 syntax for automata development for students
Last released Oct 31, 2022
Library for the developement of finite automata
Supported by
