Awali
Another Weighted Automata library
Modules
Here is a list of all modules:
 Factories & ConstructorsContains all functions that allows to construct automata and expressions
 OptionsContains all enums describing the different algorithms to execute a transformation, and the option mechanism used at dyn layer
 ProductsThis group contains the functions that take two (or more) automata/transducers as input
 QuotientContains functions related to automata/transducer quotient (in particular, minimisation
 StandardContains all functions related to standard automata
 TransducerContains functions related to transducers