GitHub repos by de-id

1 public repo by de-id in the catalog, most starred first.