Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Bughunt Rust | 158 | 5 years ago | 4 | mit | Rust | |||||
QuickCheck bug hunting in Rust standard library data structures | ||||||||||
How To Specify It | 18 | 2 years ago | 3 | other | Java | |||||
"How to Specify it" in Java and jqwik |