GitHub repos by substring

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