GitHub repos by coord-e

1 public repo by coord-e in the catalog, most starred first.