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.
JFLAP is software for experimenting with formal languages topics including nondeterministic finite automata, nondeterministic pushdown automata, multi-tape Turing machines, several types of grammars, parsing, and L-systems.
GraphShop is the Graph Theory Workshop, an interactive software environment for Graph Theory research and applications. It contains a visual "point and click" interface for graph creation and manipulations, as well as an integrated scripting environment (using...Discontinued
GitHub repo shows no maintenance, and author's website has been down for years.