GitHub repos by HTN-2017

1 public repo by HTN-2017 in the catalog, most starred first.