GitHub repos by external-mirrors

1 public repo by external-mirrors in the catalog, most starred first.