An Eclipse plugin for manipulating automata and regular expressions - View it on GitHub