Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Bolero | 148 | 19 | 3 months ago | 16 | September 28, 2023 | 37 | mit | C | ||
property testing and verification front-end for Rust | ||||||||||
Scala Category Theory | 22 | 6 years ago | 1 | gpl-3.0 | Scala | |||||
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests |