GitHub repos by robotics

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