Quickchick

Randomized Property-Based Testing Plugin for Coq
Alternatives To Quickchick
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Quickchick235
3 months ago86otherCoq
Randomized Property-Based Testing Plugin for Coq
Ifc9
4 years ago3otherCoq
Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.
Coq Performance Tests6
3 months ago3mitCoq
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
Alternatives To Quickchick
Select To Compare


Alternative Project Comparisons
Popular Coq Projects
Popular Testing Projects
Popular Mathematics Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Testing
Ocaml
Coq