go-dgraph. Provides the strong components (Tarjan's) algorithm for determining dependency ordering and cycles with slices.