GitHub repository: Adda0/mata
Primary language: Stata
Description: A new automata library