GraSS This is a graph theory application, which has functions of visualizing arbitary graphs and solving graph problems.