Data

Tools

Indexes

Applications

Experiments

Awesome

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

Projects in Awesome Lists tagged with property-based-testing

A curated list of projects in awesome lists tagged with property-based-testing .

https://github.com/hypothesisworks/hypothesis

The property-based testing library for Python

fuzzing property-based-testing python testing

Last synced: 05 Jan 2026

https://github.com/HypothesisWorks/hypothesis

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

fuzzing property-based-testing python testing

Last synced: 26 Mar 2025

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/schemathesis/schemathesis

Supercharge your API testing, catch bugs, and ensure compliance

cli graphql hacktoberfest hypothesis openapi openapi3 property-based-testing pytest swagger testing

Last synced: 12 May 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/trailofbits/deepstate

A unit test-like interface for fuzzing and symbolic execution

fuzzing property-based-testing symbolic-execution testing-framework testing-tools unit-testing

Last synced: 15 May 2025

https://github.com/life4/deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

contracts contracts-programming dbc deal decorators design-by-contract flake8 functional-programming hacktoberfest interface invariant linter mypy property-based-testing python pythonic refinement-types testing typing validation

Last synced: 26 Mar 2025

https://github.com/haf/expecto

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

performance-testing property-based-testing stress-testing testing unit-testing

Last synced: 13 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: 31 Mar 2025

https://github.com/elixir-toniq/norm

Data specification and generation

elixir property-based-testing specifcation

Last synced: 14 May 2025

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/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/qqwy/elixir-type_check

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

elixir-lang hacktoberfest metaprogramming property-based-testing type-checking

Last synced: 15 May 2025

https://github.com/Qqwy/elixir-type_check

TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.

elixir-lang hacktoberfest metaprogramming property-based-testing type-checking

Last synced: 28 Mar 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/loiclec/fuzzcheck-rs

Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions

coverage-guided-fuzzing fuzzer fuzzing grammar-fuzzer property-based-testing rust testing

Last synced: 02 Apr 2025

https://github.com/alfert/propcheck

Property based Testing for Elixir (based upon PropEr)

elixir propcheck proper property-based-testing

Last synced: 21 Oct 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/python-jsonschema/hypothesis-jsonschema

Tools to generate test data from JSON schemata with Hypothesis

hypothesis json-schema property-based-testing python

Last synced: 11 May 2025

https://github.com/ohbarye/pbt

Property-Based Testing tool for Ruby that supports concurrency with Ractor.

parallel property-based-testing ractor ruby testing

Last synced: 08 Apr 2025

https://github.com/japgolly/nyaya

Random Data Generation and/or Property Testing in Scala & Scala.JS.

fp functional-programming property-based-testing property-testing random random-data-generation scala scalajs

Last synced: 05 Apr 2025

https://github.com/ghandic/jsf

Creates fake JSON files from a JSON schema

commandline faker fastapi jsf json-schema property-based-testing python

Last synced: 15 May 2025

https://github.com/bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

property-based-testing property-testing smallcheck testing

Last synced: 11 Dec 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/Qqwy/ruby-prop_check

Property Testing library in Ruby

property-based-testing property-testing quickcheck ruby

Last synced: 16 Jul 2025

https://github.com/gcanti/fp-ts-laws

fp-ts type class laws for property based testing

fp-ts property-based-testing

Last synced: 12 May 2025

https://github.com/seelengrab/propcheck.jl

A package for simple property based testing in julia.

julia julia-language julia-package julialang property-based-testing testing

Last synced: 10 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/psecio/propauth

A library for property-based policy evaluation

authorization php policy policy-evaluation property-based-testing security

Last synced: 11 Apr 2025

https://github.com/seelengrab/supposition.jl

A Julia implementation of choice sequence based PBT, inspired by Hypothesis

fuzzing julia julia-language julialang pbt property-based-testing testing

Last synced: 26 Jun 2025

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/olipratt/swagger-conformance

Python based tool for testing whether your API conforms to its Swagger schema

fuzzing open-api property-based-testing swagger swagger-schema

Last synced: 11 Apr 2025

https://github.com/marcelgarus/glados

🍰 A property-based testing framework that tries to break your invariances.

dart dartlang hacktoberfest property-based-testing testing

Last synced: 13 Apr 2025

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/typeetfunc/runtypes-generate

Transform runtypes type to jsverify arbitrary for generate sample of data

property-based-testing runtime-typechecking typescript

Last synced: 30 Apr 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/nanofuzz/nanofuzz

NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code

fuzzer fuzzing jest property-based-testing typescript

Last synced: 05 Nov 2025

https://github.com/shmew/fable.jester

Fable bindings for jest and friends for delightful Fable testing.

fable fast-check jest jest-dom property-based-testing react-testing-library testing

Last synced: 07 May 2025

https://github.com/rodrigosetti/swagger-test

Property based testing tool for Swagger APIs

haskell property-based-testing swagger testing

Last synced: 15 Aug 2025

https://github.com/bogdanp/rackcheck

A property-based testing library for Racket.

property-based-testing racket

Last synced: 03 Apr 2025

https://github.com/Bogdanp/rackcheck

A property-based testing library for Racket.

property-based-testing racket

Last synced: 12 May 2025

https://github.com/clausejs/clausejs

Write contract once. Get data & function validators & conformers, an accurate & readable project contract, auto-generated API documentation, generative test coverage, plus more. A tool that enables a more predictable workflow for developing your JavaScript projects.

clojure-spec contract docgen documentation documentation-tool javascript property-based-testing regex types typing

Last synced: 28 Oct 2025

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/chobeat/hypothesis-csv

Extension for the hypothesis framework to support the generative testing with CSV input

csv generative-testing hypothesis property-based-testing python-library python3

Last synced: 14 Apr 2025

https://github.com/moonbitlang/quickcheck

Automatic testing of MoonBit programs

property-based-testing test

Last synced: 11 Jun 2025

https://armcn.github.io/quickcheck/

Property Based Testing in R

functional-programming property-based-testing r rstats

Last synced: 24 Apr 2025

https://github.com/armcn/quickcheck

Property Based Testing in R

functional-programming property-based-testing r rstats

Last synced: 09 Oct 2025

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

Hedgehog with batteries included: Auto-generators, extra combinators, and more.

combinators hedgehog property-based-testing testing

Last synced: 06 May 2025

https://github.com/nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

prolog property-based-testing quickcheck swi-prolog

Last synced: 06 Mar 2025

https://github.com/neysofu/reltester

Automatically verify traits invariants for [Partial]Eq, [Partial]Ord, Hash, [DoubleEnded|Fused]iterator

math property-based-testing rust

Last synced: 05 May 2025

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/sageserpent-open/americium

Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test case and a way of reproducing the failure immediately.

java parameterised-tests property-based-testing scala testing-tools

Last synced: 28 Aug 2025

https://github.com/pblasucci/growinggildedrose

This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.

approval-testing brown-field csharp domain-modeling dotnet fsharp property-based-testing

Last synced: 15 Apr 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/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/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/nwjsmith/generators.graph

A library of test.check generators for graph data

clojure clojure-spec graph graphs property-based-testing test-check

Last synced: 14 Apr 2025

https://github.com/sunesimonsen/chance-generators

Random generators based on changejs

generators property-based-testing testing unexpected

Last synced: 22 Apr 2025

https://github.com/fscheck/fscheck.properties

FsCheck Basic Property functions

fscheck properties property-based-testing testing

Last synced: 12 Apr 2025

https://github.com/fitzgen/mutatis

`mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.

fuzzing property-based-testing

Last synced: 26 Mar 2025

https://github.com/mchakravarty/fp-in-swift

Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017

frp functional-programming immutable-datastructures mvvm-architecture property-based-testing sum-types swift value-types

Last synced: 10 Apr 2025

https://github.com/raphexion/erlmemfs

A simple in-memory filesystem inspirered and intended to be used with Bifrost.

bifrost erlang filesystem property-based-testing

Last synced: 25 Mar 2025

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/aiken-lang/fuzz

A library for writing Fuzzers for property-based testing in Aiken

aiken fuzzer property-based-testing testing

Last synced: 19 Apr 2025

https://github.com/sergio-sastre/multiplying_the_quality_of_unit_tests

An Android project in Jetpack Compose to showcase how to level up our unit tests step by step with parameterized tests, property-based test & stateful tests

android jetpack-compose parameterized-tests property-based-testing testing unit-testing

Last synced: 12 Sep 2025

https://github.com/iacobson/blog_bikex

Code example for Saga pattern article

elixir property-based-testing saga-pattern

Last synced: 09 Sep 2025

https://github.com/jvanbruegge/cyclejs-test-helpers

A small collection of useful utilities

cyclejs helpers property-based-testing testing

Last synced: 19 Oct 2025

https://github.com/mikkelmilo/rooster-spec

Automated Theory Exploration in Coq using Haskell's QuickSpec

conjectures coq lemma-discovery property-based-testing property-testing quickspec theory-exploration

Last synced: 15 Apr 2025