GitHub repos by robots

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