GitHub repos by proptest-rs

1 public repo by proptest-rs in the catalog, most starred first.