GitHub repos by overviewer

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