Although I did not post about FADO before, I think it’s better late than never.
Fado was developed in the Universidade do Porto (yes, they speak Portuguese) and it is used for Automata manipulation and tools .
I developed together with another researcher a small website in Django for Automata properties verification[2*]. Finite automatas might be deterministic or not-deterministic and although simple, they are very powerful computing machines.
Combined with I-Laser and GUItar, which is the visualization tool, Automata can be very simplified and used for many things.
[2*] Later this project was named i-Laser and can be accessed here: