GitHub repos by mxfold

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