Web Directory by Internet-Web-Directory.com

Tool for investigating Graph Theory, with a GTK interface. Free under GPL. Unix, source code in C++.

Free Java class library that provides mathematical graph-theory objects and algorithms.

A system for manipulating discrete mathematical structures: a Mathematica based collection of operations with interface to external packages and programs.