4 projects
tpall
Quelques classes pour le TP de l'UE Automates, Langages et Logique
licofage
Generate deterministic finite automata associated to linear equations expressed in the numeration system associated to a given substitution.
walnut-kernel
Simple kernel for Walnut
ratser
Quick and dirty library for linear representation of rational series and semigroup trick computation. Includes Walnut import/export.
