GitHub repos by minima-global

1 public repo by minima-global in the catalog, most starred first.