GitHub repos by minefold

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