GitHub repos by gwern

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