Python implementation of Tarjan's strongly connected components algorithm.
Very simple C++ directed graph library
Graph loop detection in Go using Tarjan's algorithm