Last released Jan 30, 2023
A library of tools to manipulate formal languages' representations mainly automata and regular expressions.
Supported by