GitHub repos by mr-ping

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