GitHub repos by grant

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