QuickChick

Philadelphia, Princeton, Sophia-Antipolis, Paris, Gothenburg, and Cambridge (UK) A group of researchers with a shared interest in property-based testing

Results 2 repositories owned by


                                            QuickChick

QuickChick

241

Stars

44

Forks

Watchers

Randomized Property-Based Testing Plugin for Coq

Luck

30

Stars

2

Forks

Watchers

Luck -- A Language for Property-Based Generators