GitHub repos by mhaller

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