GitHub repository: KubEF/pyformlang
Primary language: Python
Description: A python library to manipulate formal languages and various automata