GitHub repos by known

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