GitHub repos by ProblemFactory

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