GitHub repos by installation

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