An implementation of Tarjan's Strongly Connected Components algorithm - View it on GitHub