GitHub repos by CMU-HoTT

1 public repo by CMU-HoTT in the catalog, most starred first.