GitHub repos by seranking

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