GitHub repos by pgp

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