Rocs
KDE's graph theory IDE: build graphs, then run algorithms over them and watch what they do.
Rocs is a graph theory IDE from KDE’s education suite. You build a graph by hand or generate one, then run algorithms over it in a built-in scripting engine and watch what they do to the structure. It’s aimed at students and teachers working through graph theory, where being able to see an algorithm move across a graph beats reading its pseudocode.