GitHub repos by proxytype

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