GitHub repos by prior

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