GitHub repos by compiling-to-categories

1 public repo by compiling-to-categories in the catalog, most starred first.