GitHub repos by testsmt

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