GitHub repos by eclipse-omr

1 public repo by eclipse-omr in the catalog, most starred first.