GitHub repos by proper-testing

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