https://github.com/quickchick/quickchick

Randomized Property-Based Testing Plugin for Coq

coq testing

Last synced: 16 May 2025

https://github.com/quickchick/luck

Luck -- A Language for Property-Based Generators

Last synced: 25 Jul 2025

https://github.com/quickchick/ifc

Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.

Last synced: 10 Jul 2025

https://github.com/quickchick/testingnoninterference

Haskell code associated to the "Testing Noninterference, Quickly" paper. The associated Coq proofs are in a separate repository: https://github.com/QuickChick/IFC

Last synced: 08 Mar 2026