Some graph algorithm implementations Kruskal's algorithm for finding MSTs in Boost Kosaraju's algorithm for finding SCCs in LEDA. Shortest Augmenting Path algorithm for Maximum Flow.