GitHub repos by o1lab

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