GitHub repos by scalaris-team

1 public repo by scalaris-team in the catalog, most starred first.