JFLAP - JFLAP is software for experimenting with formal languages topics including nondeterministic finite...
UCINET - UCINET for Windows is a software package for the analysis of social network data.
jsflap - A web-based NFA and DFA construction and testing tool.
Gephi - Gephi is an open-source software for visualizing and analyzing large networks graphs.
Rocs - Rocs aims to be a Graph Theory IDE for helping professors to show the results of a graph algorithm...
Graphviz - Graphviz is open source graph visualization software. It has several main graph layout programs.