language-toolkit (hackage): A set of tools for analyzing languages via logic and automata
Keywords: formal-languages|library|mit|program|automata|propositional-logic|theorem-proving