GitHub repos by pragma-

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