GitHub repos by abbrev

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