GitHub repos by atcol

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