Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with quickcheck

A curated list of projects in awesome lists tagged with quickcheck .

https://github.com/dubzzz/fast-check

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

faker fuzzing generative-testing property-based-testing quickcheck tdd testing typescript unit-testing

Last synced: 13 May 2025

https://github.com/fscheck/fscheck

Random Testing for .NET

csharp fscheck fsharp quickcheck testing

Last synced: 17 Dec 2025

https://fscheck.github.io/FsCheck/

Random Testing for .NET

csharp fscheck fsharp quickcheck testing

Last synced: 07 May 2025

https://github.com/fscheck/FsCheck

Random Testing for .NET

csharp fscheck fsharp quickcheck testing

Last synced: 16 Mar 2025

https://github.com/pholser/junit-quickcheck

Property-based testing, JUnit-style

java junit property-based-testing quickcheck

Last synced: 17 Dec 2025

https://github.com/whatyouhide/stream_data

Data generation and property-based testing for Elixir. 🔮

data-generation elixir property-based-testing property-testing quickcheck

Last synced: 13 May 2025

https://github.com/hspec/hspec

A Testing Framework for Haskell

haskell hunit quickcheck smallcheck testing

Last synced: 15 May 2025

https://github.com/rohanpadhye/jqf

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

afl coverage-guided-fuzzing fuzzing junit property-based-testing quickcheck

Last synced: 14 Jan 2026

https://github.com/hedgehogqa/haskell-hedgehog

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

haskell property-based-testing property-testing quickcheck test testing testing-tools

Last synced: 13 Apr 2025

https://github.com/rohanpadhye/JQF

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

afl coverage-guided-fuzzing fuzzing junit property-based-testing quickcheck

Last synced: 13 Mar 2025

https://github.com/UnkindPartition/tasty

Modern and extensible testing framework for Haskell

golden-tests haskell hunit quickcheck smallcheck testing unit-testing

Last synced: 14 Apr 2025

https://github.com/unkindpartition/tasty

Modern and extensible testing framework for Haskell

golden-tests haskell hunit quickcheck smallcheck testing unit-testing

Last synced: 11 Dec 2025

https://github.com/jqwik-team/jqwik

Property-Based Testing on the JUnit Platform

hacktoberfest junit junit5 quickcheck

Last synced: 14 Jan 2026

https://github.com/flyingmutant/rapid

Rapid is a modern Go property-based testing library

fuzzing golang property-based-testing property-testing quickcheck testing

Last synced: 12 Apr 2025

https://github.com/quicktheories/quicktheories

Property based testing for Java 8

java-8 junit property-based-testing quickcheck testing

Last synced: 05 Apr 2025

https://github.com/quicktheories/QuickTheories

Property based testing for Java 8

java-8 junit property-based-testing quickcheck testing

Last synced: 02 Apr 2025

https://github.com/c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

alcotest monadic-interface ocaml ounit property-based-testing quickcheck random random-generator testing

Last synced: 15 May 2025

https://github.com/hedgehogqa/fsharp-hedgehog

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

csharp dotnet fsharp property-based-testing property-testing quickcheck test testing testing-tools

Last synced: 14 May 2025

https://github.com/Qqwy/ruby-prop_check

Property Testing library in Ruby

property-based-testing property-testing quickcheck ruby

Last synced: 16 Jul 2025

https://github.com/qqwy/ruby-prop_check

Property Testing library in Ruby

property-based-testing property-testing quickcheck ruby

Last synced: 06 Apr 2025

https://github.com/garbles/kitimat

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

generative-testing javascript jest property-based-testing quickcheck testing typescript

Last synced: 14 Oct 2025

https://github.com/jmid/qcstm

A simple state-machine framework for OCaml based on QCheck

ocaml property-based-testing quickcheck

Last synced: 25 Jul 2025

https://github.com/Wilfred/propcheck

Quickcheck/hypothesis style testing for elisp

emacs-lisp hypothesis-testing quickcheck

Last synced: 14 Jul 2025

https://github.com/wilfred/propcheck

Quickcheck/hypothesis style testing for elisp

emacs-lisp hypothesis-testing quickcheck

Last synced: 07 Jan 2026

https://github.com/jmid/pbt-frameworks

An overview of property-based testing functionality

property-based-testing property-testing quickcheck

Last synced: 06 Jan 2026

https://github.com/gampleman/quick_check.js

A JS implementation of quick_check

property-based-testing quickcheck testing

Last synced: 15 Mar 2025

https://github.com/dubzzz/ava-fast-check

Property based testing for AVA based on fast-check

ava generative-testing property-based-testing quickcheck unit-testing

Last synced: 11 May 2025

https://github.com/ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

multicore-ocaml property-based-testing property-testing quickcheck

Last synced: 30 Apr 2025

https://github.com/dubzzz/fuzz-rest-api

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

fast-check fuzzing property-based-testing quickcheck rest-api

Last synced: 22 Mar 2025

https://github.com/jmid/efftester

Effect-Driven Compiler Tester for OCaml

compiler-testing ocaml property-based-testing quickcheck

Last synced: 16 Oct 2025

https://github.com/norfairking/easyspec

Signature inference for Functional Property Discovery in Haskell

haskell property-testing quickcheck quickspec

Last synced: 10 Nov 2025

https://github.com/lukeg101/lplzoo

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

haskell-learning lambda-calculus language-design quickcheck type-theory

Last synced: 08 May 2025

https://github.com/lycantropos/hypothesis_sqlalchemy

hypothesis strategies for generating SQLAlchemy objects

hypothesis quickcheck sqlalchemy testing

Last synced: 30 Apr 2025

https://github.com/input-output-hk/quickcheck-dynamic

A library for stateful property-based testing

haskell model-based-testing quickcheck testing-tools

Last synced: 09 Apr 2025

https://github.com/maximkulkin/hypothesis-regex

Hypothesis extension to allow generating strings based on regex

hypothesis quickcheck regex regular-expression testing

Last synced: 27 Oct 2025

https://github.com/hychen/ke-e

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

quickcheck

Last synced: 04 Feb 2026

https://github.com/dubzzz/fast-check-examples

Property based testing (QuickCheck) examples based on fast-check

fast-check property-based-testing quickcheck tdd

Last synced: 25 Sep 2025

https://github.com/pointfreeco/swift-quickcheck

🏁 An implementation of QuickCheck in Swift.

functional-programming property-testing quickcheck swift

Last synced: 13 Apr 2025

https://github.com/alonsodomin/haskell-schema

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

data-structures haskell haskell-library higher-order json quickcheck schema

Last synced: 13 Oct 2025

https://github.com/nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

prolog property-based-testing quickcheck swi-prolog

Last synced: 28 Jan 2026

https://github.com/jmid/wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

property-based-testing property-testing quickcheck wasm webassembly

Last synced: 16 Aug 2025

https://github.com/msoedov/quick.py

Property-based testing library for Python

property-based-testing python quickcheck type-annotations

Last synced: 25 Jul 2025

https://github.com/lysxia/quickcheck-higherorder

QuickCheck extension for higher-order properties

haskell higher-order quickcheck testing

Last synced: 20 Mar 2025

https://github.com/jakoschiko/dicetest

Framework for writing tests with randomly generated test data

fuzz-testing property-based-testing quickcheck rust

Last synced: 05 Apr 2025

https://github.com/hauleth/stream_state

Stateful generative testing for Elixir implemented on top of StreamData

elixir generative-testing quickcheck testing

Last synced: 29 Oct 2025

https://github.com/lycantropos/hypothesis_geometry

`hypothesis` strategies for geometries

data-generator geometry hypothesis quickcheck testing

Last synced: 30 Apr 2025

https://github.com/jmid/qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)

model-based-testing ocaml patricia-tree property-based-testing quickcheck

Last synced: 25 Jul 2025

https://github.com/martinnowak/qcheck

QuickCheck like test library

d fuzz-testing quickcheck unit-testing

Last synced: 04 Jan 2026

https://github.com/jmid/luata-quickcheck

Lua type analysis and corresponding QuickCheck code

lattice lua property-based-testing prototype quickcheck static-analysis type-analysis

Last synced: 15 Jul 2025

https://github.com/jmid/lcheck

A library for quickchecking lattice modules and associated operations

embedded-dsls lattice monotonicity ocaml property-based-testing quickcheck

Last synced: 25 Jul 2025

https://github.com/minad/quickcheck-special

Edge cases and special values for QuickCheck Arbitrary instances

haskell quickcheck

Last synced: 11 Apr 2025

https://github.com/mortalflesh/bulletproof

[WIP] QuickCheck like PHP library for easier property based testing

property-based-testing quickcheck

Last synced: 05 Apr 2025

https://github.com/centril/proptest-quickcheck-interop

Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest

property-based-testing proptest quickcheck rust testing

Last synced: 14 Apr 2025

https://github.com/persimmon-projects/persimmon.dried

Random testing for Persimmon

fsharp quickcheck testing

Last synced: 27 Apr 2025

https://github.com/jeffh/check.statem

Facilities for generating test programs using state machines.

clojure fuzzing property-based-testing quickcheck state-machine test-check testing

Last synced: 07 Oct 2025

https://github.com/panicbit/quickcheck_derive

Derives quickcheck traits

quickcheck rust testing

Last synced: 12 Dec 2025

https://github.com/vendethiel/sixcheck

Quickchecking in Perl6.

perl6 quickcheck

Last synced: 11 Jan 2026

https://github.com/centril/proptest-derive

Custom-derive for the Arbitrary trait of proptest.

custom-derive property-based-testing proptest quickcheck rust testing

Last synced: 27 Jun 2025

https://github.com/skhoroshavin/qcc

QuickCheck for C

c quickcheck test

Last synced: 01 Mar 2025

https://github.com/jaalonso/formulasypolinomios

Sistema certificado de decisión proposicional basado en polinomios.

haskell logic quickcheck

Last synced: 18 Feb 2026

https://github.com/dubzzz/jsverify-commands

Bring commands to JSVerify property-based testing framework

end-to-end-testing extension jsverify module property-based-testing quality-assurance quickcheck

Last synced: 11 Apr 2025

https://github.com/datashaman/phpcheck

PHP implementation of Haskell's QuickCheck.

fuzz-testing fuzzing-framework quickcheck

Last synced: 20 Jan 2026

https://github.com/flyingmutant/chaos_theory

chaos_theory is a modern property-based testing and structure-aware fuzzing library

fuzzing hypothesis property-based-testing property-testing quickcheck random

Last synced: 26 Jul 2025

https://github.com/honzabrecka/rapid-check

Yet another implementation of property based testing framework

javascript property-based-testing quickcheck tdd test-framework

Last synced: 05 Oct 2025

https://github.com/dfordivam/reflex-type-simplify

Use Hedgehog (like QuickCheck) to simplify types (and life) when using reflex-frp

hedgehog quickcheck reflex-frp

Last synced: 12 Nov 2025

https://github.com/waynevanson/fp-ts-quickcheck

fp-ts but QuickCheck (partial port)

fast-check fp-ts property-based-testing quickcheck

Last synced: 26 Jul 2025

https://github.com/athanclark/purescript-symbiote

Data serialization verification implementation

encoding network quickcheck serialization symbiote testing

Last synced: 31 Jan 2026

https://github.com/jonathanknowles/monoidmap-quickcheck

QuickCheck support for the monoidmap package.

haskell instances monoidmap quickcheck

Last synced: 14 Mar 2025

https://github.com/athanclark/quickcheck-combinators

type-level combinators for quickcheck instances

haskell quickcheck quickcheck-combinators typelevel-programming

Last synced: 01 Sep 2025

https://github.com/jonathanknowles/quickcheck-monoid-subclasses

Support for testing instances of classes defined in the monoid-subclasses library.

haskell instances monoid-subclasses quickcheck testing

Last synced: 04 Oct 2025

https://github.com/spamegg1/haskell-prog

Working through the book "Get Programming with Haskell" by Will Kurt

applicative cabal functor ghc ghci haskell monad quickcheck semigroup stack

Last synced: 15 Mar 2025

https://github.com/athanclark/symbiote

Data serialization verification implementation

encoding network quickcheck serialization symbiote testing

Last synced: 16 Nov 2025

https://github.com/suchapalaver/newsletter

newsletter learning project based on the actix-web framework

actix-web fake html postgresql postmark quickcheck rust serde sqlx tokio tracing wiremock

Last synced: 27 Dec 2025

https://github.com/simonrichardson/shrink

Shrink test cases using go stdlib quick.Check

fuzzing quickcheck shrink testing

Last synced: 24 Mar 2025

https://github.com/shamrin/bigcheck

Fast quickcheck implementation for JavaScript [work-in-progress]

generative-testing javascript quickcheck

Last synced: 24 Mar 2025

https://github.com/glebec/generative-testing-talk

Fast-Check example repo, in prep for a talk on property testing (aka invariant testing)

fast-check functional generative-testing invariant-testing property-testing quickcheck talk testing

Last synced: 01 Dec 2025

https://github.com/jonathanknowles/quickcheck-groups

QuickCheck support for testing instances of classes defined in the groups library.

abelian-groups classes groups haskell quickcheck

Last synced: 18 Oct 2025

https://github.com/nicolast/lawful-classes

Classes with laws lead to more lawful instances

haskell laws property-based-testing quickcheck testing

Last synced: 20 Jun 2025

https://github.com/farmansu/qcst

Quantum Cognitive Synthesis Theory (QCST) is a theoretical framework exploring the integration of quantum mechanics, cognitive science, and AI. It proposes that consciousness might be simulated through quantum-like processes in microtubules, with implementations across various programming languages and using MySQL for managing learning experiences.

cognitive-science consciousness game-development machine-learning microtubules neuroscience ocaml property-based-testing quantum-computing quickcheck reinforcement-learning robotics

Last synced: 19 Jul 2025

https://github.com/wende/ab

Automatically compare two implementations of the same problem with property-based testing and performance benchmarks.

ab-testing elixir elixir-lang property-testing quickcheck

Last synced: 20 Jan 2026

https://github.com/alvarogarcia7/camel-snake-pascal-kebab-kata-clojure

This is a study (i.e., an etude), to practice message dispatching and property-based testing. In Clojure

camel-case clojure kebab-case pascal-case property-based-testing quickcheck snake-case trikitrok

Last synced: 24 Aug 2025

https://github.com/shmink/quickcheck_test

Testing out a quickcheck example, looks like it might be good for a simple reference.

elixir example quickcheck

Last synced: 14 Apr 2025