GitHub repos by tools-collection

1 public repo by tools-collection in the catalog, most starred first.