GitHub repos by dok

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