GitHub repos by gattis

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