GitHub repos by redomCL

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