GitHub repos by openmuc

1 public repo by openmuc in the catalog, most starred first.