|
Clojure |
3 |
QuickCheck clone |
Jun 28, 2022 |
|
OCaml |
2 |
OCaml QuickCheck |
Oct 25, 2013 |
|
OCaml |
2 |
OCaml QuickCheck |
Jul 06, 2019 |
|
Clojure |
1069 |
QuickCheck for Clojure |
Aug 18, 2022 |
|
Rust |
6 |
quickcheck for Rust |
Jul 28, 2014 |
|
Haskell |
3 |
A QuickCheck manual |
Jun 18, 2022 |
|
Objective-C |
48 |
like haskell quickcheck |
Jan 28, 2023 |
|
Rust |
3 |
quickcheck for Rust |
Aug 13, 2019 |
|
Elixir |
82 |
QuickCheck for Elixir |
May 04, 2023 |
|
Erlang |
12 |
Example QuickCheck models |
May 04, 2023 |
|
Clojure |
2 |
QuickCheck for Clojure |
May 14, 2022 |
|
Haskell |
8 |
Quickcheck for Polysemy |
Feb 08, 2023 |
|
TypeScript |
3245 |
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript |
Oct 10, 2022 |
|
Haskell |
12 |
Instances for QuickCheck classes |
Jan 01, 2022 |
|
JavaScript |
5 |
Experimental BuckleScript quickcheck implementation |
Jun 12, 2019 |
|
Common Lisp |
66 |
cl-quickcheck - a Common Lisp port of the QuickCheck unit test framework |
Jul 25, 2022 |
|
Haskell |
6 |
QuickCheck properties for monad classes |
Oct 08, 2020 |
|
Erlang |
11 |
escript wrapper for QuickCheck Mini |
Jul 08, 2019 |
|
Haskell |
2 |
Enumeration types for quickcheck properties |
Dec 05, 2019 |
|
JavaScript |
18 |
QuickCheck Library using Fantasy-Land |
May 19, 2020 |
|
Haskell |
30 |
Quickcheck Properties for common typeclasses |
Dec 06, 2021 |
|
OCaml |
2 |
QuickCheck with shrinking for free |
Feb 08, 2021 |
|
Erlang |
7 |
QuickCheck models for aeternity/epoch |
Mar 31, 2021 |
|
Erlang |
2 |
Rebar plugin for Quviq's QuickCheck |
Jan 01, 2021 |
|
Erlang |
2 |
Ranking of implementations using QuickCheck |
Mar 27, 2017 |
|
Haskell |
5 |
Pain-free QuickCheck helpers for Plutarch |
Jun 16, 2022 |
|
Haskell |
9 |
Use HUnit assertions as QuickCheck properties |
Sep 08, 2021 |
|
Emacs Lisp |
57 |
Quickcheck/hypothesis style testing for elisp |
Sep 27, 2022 |
|
Haskell |
17 |
QuickCheck extension for higher-order properties |
Feb 15, 2022 |
|
PureScript |
97 |
An implementation of QuickCheck in PureScript |
Jul 18, 2022 |
|
Haskell |
4 |
Test properties and default-mains for QuickCheck |
Jan 14, 2023 |
|
Haskell |
2 |
Compatibility layer for "json-ast" and "QuickCheck" |
Dec 05, 2019 |
|
Haskell |
2 |
A GenT monad transformer for QuickCheck library |
Dec 05, 2019 |
|
Swift |
20 |
🏁 An implementation of QuickCheck in Swift. |
Feb 11, 2021 |
|
Makefile |
5 |
The FaultCheck distribution with a QuickCheck example |
Sep 18, 2022 |
|
OCaml |
3 |
Quickcheck helpers for strings parsing to sexps |
Mar 30, 2022 |
|
Ruby |
2 |
Ruby generative property test library (ala QuickCheck) |
Apr 21, 2023 |
|
Ruby |
2 |
Property-based testing for Ruby (ala QuickCheck) |
Apr 21, 2023 |
|
OCaml |
299 |
QuickCheck inspired property-based testing for OCaml. |
May 07, 2023 |
|
Haskell |
6 |
Arbitrary QuickCheck instance generation using template haskell |
Feb 17, 2021 |
|
Factor |
15 |
A Factor port of QuickCheck unit test framework |
Sep 24, 2021 |
|
PureScript |
23 |
QuickCheck powered law tests for PureScript's core typeclasses. |
Mar 06, 2023 |
|
Haskell |
6 |
Support for lockstep-style testing using quickcheck-dynamic |
Apr 21, 2023 |
|
Haskell |
196 |
An experimental grammar fuzzer in Haskell using QuickCheck |
Mar 23, 2023 |
|
Haskell |
4 |
Get counterexamples out of QuickCheck as Haskell values |
Dec 05, 2019 |
|
Java |
2 |
QuickCheck-style parameter suppliers for JUnit Theories -- Patching |
Jan 28, 2023 |
|
Haskell |
2 |
Repository of Richard Bird's problems with quickcheck properties. |
Sep 24, 2015 |
|
Haskell |
5 |
Edge cases and special values for QuickCheck Arbitrary instances |
Dec 05, 2019 |
|
D |
7 |
a D port of the QuickCheck unit test framework |
May 09, 2020 |
|
Rust |
9 |
a Rust port of the QuickCheck unit test framework |
Nov 11, 2018 |