GitHub repos by re-search

1 public repo by re-search in the catalog, most starred first.