GitHub repos by ping-pub

1 public repo by ping-pub in the catalog, most starred first.