Graphviz

Graphviz is open source graph visualization software. It has several main graph layout programs. It also has web and interactive graphical interfaces, and auxiliary...

Free Open Source Mac Windows Linux Web

Gephi

Gephi is an open-source software for visualizing and analyzing large networks graphs. .

Free Open Source Mac Windows Linux

blockdiag

blockdiag and its family generate diagram images from simply text file. Features: Supports many types of diagrams block diagram (w/ blockdiag) ...

Free Open Source Mac Windows Linux

SocNetV

Social Network Visualizer (SocNetV) is a cross-platform, user-friendly application for the analysis and visualization of Social Networks in the form of mathematical...

Free Open Source Mac Windows Linux

jsflap

A web-based NFA and DFA construction and testing tool.

Free Open Source Web

Rocs

Rocs aims to be a Graph Theory IDE for helping professors to show the results of a graph algorithm and also helping students to do the algorithms.

Free Open Source Linux

GraphTea

the free and opensource(GPL) software framework to work on graphs and social networks. It helps you to Teach and Study graph theory… You can simply : * draw a...

Free Open Source Mac Windows Linux

GraphShop

GraphShop is the Graph Theory Workshop, an interactive software environment for Graph Theory research and applications.

• Discontinued GitHub repo shows no maintenance, and author's website has been down for years.

Free Open Source Mac Windows Linux

Rin'G

Rin'G is an environment for the study and implementation of Graph Theory algorithms that allows users to view interactive, step-by-step animations of their...

• Discontinued Doesn't appear to be maintained.

Free Open Source Mac Windows Linux

GraphThing

GraphThing is a tool that allows you to create, manipulate and study graphs. These "graphs" are mathematical objects that describe relationships between sets;...

Free Open Source Windows Linux BSD

JFLAP

JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing...

Free Mac Windows Linux

DFA Tester

Need to test a deterministic finite automaton for an upcoming course assignment, or just curious? Then you've come to the right place! DFA Tester is a simple and...

Free Android Android Tablet

Polinode

Polinode is a tool that makes it easy to perform powerful network analysis. You can either upload your own network data or use the integrated relationship-based survey...

Commercial Web