GitHub repos by dehoisted

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