GitHub repos by bat

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