GitHub repos by coccoc

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