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