Reverse Dependencies of automata-lib
The following projects have a declared dependency on automata-lib:
- Automython — A simplistic programming language interpreter to Python to help students grasp finite automata theory programmatically and with a computed graph through visualization libraries.
- Harmony — Harmony Programming Language
- visual-automata — Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
- visual-automata-demo — Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.
- vitamin-model-checker — The VITAMIN model checker python package
- vitamin-model-checker-test — The VITAMIN model checker python package
1