GitHub repos by mpmont

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