GitHub repos by setuppf

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