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 tools, libraries, and language bindings.

Free Open Source Mac OS X Windows Linux Web

Gephi

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

Free Open Source Mac OS X Windows Linux

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

jsflap

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

Free Open Source Web

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 OS X Windows Linux

JFLAP

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

Free Mac OS X Windows Linux

GraphShop

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

Free Open Source Mac OS X Windows 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 OS X Windows Linux

ring

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...

Free Open Source Mac OS X Windows Linux

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

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

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

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 OS X Windows Linux