Note that converting a boolean matrix m to an adjacency list is easy. In k:

  adj: ,/(!#m),''&:'m

In fact for something like SCC, &:'m is good enough since you are going to iterate over all the rows any way.