GitHub repos by rec

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