GitHub repository: yanschor/automata
Primary language: Python
Description: A Python library for simulating finite automata, pushdown automata, and Turing machines