GitHub repos by pin

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