GitHub repos by mipops

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