A python library to manipulate formal languages and various automata
A package to simulate the output of a control system by means of the Chen-Fliess series.
A Python package for deal with logical formulas and formal systems (e.g. FOL)
Small little context-free expression generator and parser using user provided EBNF-like source.
