GitHub repos by cevr

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