JFLAP!

Social Network Visualizer (SocNetV) is a cross-platform, user-friendly application for the analysis and visualization of Social Networks in the form of mathematical graphs, where vertices depict actors/agents and edges represent their relations.

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 intuitive application to build and test deterministic finite automatons.

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

GraphThing is a tool that allows you to create, manipulate and study graphs. These "graphs" are mathematical objects that describe relationships between sets; they are not 2D plots, charts, or anything similar to that.

Create weighted and unweighted graphs and run algorithms step by step. Learn graph theory interactively… much better than a book!