GitHub repos by eclipse-sprotty

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