GitHub repos by vprover

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