Python framework for automata of various sorts.
A more Pythonic version of doxypy, a Doxygen filter for Python.