GitHub repos by ties

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