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 [1].
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[3], which is the visualization tool, Automata can be very simplified and used for many things.
[1]http://fado.dcc.fc.up.pt/
[2*] Later this project was named i-Laser and can be accessed here:
http://laser.cs.smu.ca/independence/
[3]http://guitar.dcc.fc.up.pt/