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