GitHub repos by miner

1 public repo by miner in the catalog, most starred first.