GitHub repos by choreonoid

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