GitHub repos by diku-dk

2 public repos by diku-dk in the catalog, most starred first.