GitHub repository: tfiedor/automata-temp
Primary language: C++
Description: A new automata library