formal-languages
A python library to manipulate formal languages and various automata
Chen-Fliess series computation
Python package for deal with logical formulas and formal systems
Small little context-free expression generator and parser using user provided EBNF-like source.
