GitHub repos by HRI-EU

1 public repo by HRI-EU in the catalog, most starred first.