GitHub repos by setarehc

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