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