GitHub repos by numbers

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