GitHub repos by sig-id

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