GitHub repos by xlab-si

1 public repo by xlab-si in the catalog, most starred first.