GitHub repos by autolab

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