Top 31 quickcheck open source projects

Ruby Imperative Random Data Generator and Quickcheck

Release with confidence, state-of-the-art property testing for .NET.

Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")

QuickCheck inspired property-based testing for OCaml.

Test monadic programs using state machine based models

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

QuickCheck for Swift

Quickcheck/hypothesis style testing for elisp

A simple state-machine framework for OCaml based on QCheck

A JS implementation of quick_check

Randomized specification-based testing for Common Lisp. Available through Quicklisp.

Random Testing for .NET

Property-based testing, JUnit-style

Data generation and property-based testing for Elixir. 🔮

Release with confidence, state-of-the-art property testing for Haskell.

Modern and extensible testing framework for Haskell

Property based testing for Java 8

JQF + Zest: Coverage-guided semantic fuzzing for Java.

Property-Based Testing on the JUnit Platform

假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.

Erlang Declarative Debugger

An overview of property-based testing functionality

hypothesis strategies for generating SQLAlchemy objects

A library for generative, property-based testing in TypeScript and Jest.

Effect-Driven Compiler Tester for OCaml

Property based testing for AVA based on fast-check

Derive property based testing fast-check into a fuzzer for REST APIs

Property-based testing library for Python

Randomized testing for Prolog à la QuickCheck