5 projects
licofage
Generate deterministic finite automata associated to linear equations expressed in the numeration system associated to a given substitution.
walnut-cli
Walnut + Jupyter packaged as a Python client
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.
tpall
Quelques classes pour le TP de l'UE Automates, Langages et Logique
