UCINET - UCINET for Windows is a software package for the analysis of social network data.
JFLAP - JFLAP is software for experimenting with formal languages topics including nondeterministic finite...
Gephi - Gephi is an open-source software for visualizing and analyzing large networks graphs.
jsflap - A web-based NFA and DFA construction and testing tool.
Graphviz - Graphviz is open source graph visualization software. It has several main graph layout programs.
Graphynx - Create weighted and unweighted graphs and run algorithms step by step.