GitHub repos by minerllabs

2 public repos by minerllabs in the catalog, most starred first.