GitHub repos by mpc-msri

1 public repo by mpc-msri in the catalog, most starred first.