GitHub repos by open-mpi

2 public repos by open-mpi in the catalog, most starred first.