Prototypes of Concurrent Strongly Connected Components (SCC) algorithms - View it on GitHub