Data

Tools

Indexes

Applications

Experiments

Awesome

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

Projects in Awesome Lists tagged with property-testing

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

https://github.com/kotest/kotest

Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.

assertions hacktoberfest kotlin matchers property-testing test testing testing-tools

Last synced: 08 Mar 2026

https://github.com/typelevel/scalacheck

Property-based testing for Scala

property-testing scala scalacheck

Last synced: 13 Feb 2026

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/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/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/norfairking/smos

A comprehensive self-management System

cursor hacktoberfest haskell property-testing tui

Last synced: 05 Apr 2025

https://github.com/NorfairKing/smos

A comprehensive self-management System

cursor hacktoberfest haskell property-testing tui

Last synced: 24 Jul 2025

https://github.com/appmattus/kotlinfixture

Fixtures for Kotlin providing generated values for unit testing

autofixture fixture hacktoberfest kotlin property-testing test testing testing-tools

Last synced: 06 Apr 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/camshaft/bolero

property testing and verification front-end for Rust

afl fuzz fuzz-testing honggfuzz libfuzzer property-testing

Last synced: 14 May 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/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/jmid/pbt-frameworks

An overview of property-based testing functionality

property-based-testing property-testing quickcheck

Last synced: 06 Jan 2026

https://github.com/propensive/probably

To probe what we can't prove, so the unprovable may become probable; testing for Scala

assertion fury property-testing scala testing testing-tool testing-tools

Last synced: 07 Jul 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/norfairking/easyspec

Signature inference for Functional Property Discovery in Haskell

haskell property-testing quickcheck quickspec

Last synced: 10 Nov 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/wolfendale/scalacheck-gen-regexp

A library for creating Scalacheck generators from regular expressions

property-testing regexp scalacheck

Last synced: 14 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/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: 10 Mar 2026

https://github.com/sullvn/tastes

Visualize software behavior with intelligent sampling

generative property-testing random testing

Last synced: 09 Mar 2026

https://github.com/dubzzz/breaking-return-true-to-win

Breaking 'return true to win' using Property based testing fast-check

fast-check property-based-testing property-testing return-true-to-win

Last synced: 20 May 2026

https://github.com/hiphish/functional-fizzbuzz

(Mirror) An exercise in Python, functional programming and property testing

fizzbuzz functional-programming hypothesis-testing property-testing python

Last synced: 28 Jan 2026

https://github.com/kommundsen/conjecture

Property Testing library for .NET

mstest nunit property-testing xunit

Last synced: 26 Apr 2026

https://github.com/typeclasses/hedgehog-optics

Hedgehog properties for optics laws

haskell haskell-library optics property-testing

Last synced: 31 Jul 2025

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/jacraig/mecha

Mecha is a library designed to test your code in ways you probably never thought of before. It automatically finds edge cases and exceptions in your code with no input needed. Just point it at a class or method and fire away. It's even better than a cat laying on your keyboard at finding weird data for your tests.

mecha property-testing unit-testing unit-tests

Last synced: 12 Aug 2025

https://github.com/byteally/hedgehog-gen

Customizable Gen for ADT using Generics

haskell hedgehog property-testing

Last synced: 16 Jul 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: 10 May 2026

https://github.com/usernolan/fm

Concise syntax for embedding validation within functions

clojure clojurescript generative-specification property-testing

Last synced: 03 Oct 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/shfrmn/tap-fast-check

Property testing for Tap using fast-check

assert fast-check property-based-testing property-testing tap test testing

Last synced: 23 Jan 2026

https://github.com/lacausecrypto/mcp-wallfacer

Runtime testing harness for MCP servers: fuzz tools, validate schemas, run YAML invariants and multi-step sequences, ship SARIF to CI. 17 embedded packs · stdio + HTTP · 5 install paths.

agent-testing cli fuzzing invariant-testing llm-tools mcp mcp-sdk mcp-server mcp-tools model-context-protocol property-testing runtime-testing rust sarif security testing validation

Last synced: 07 May 2026

https://github.com/sambacha/dslviem

DSL for testing Ethereum applications with property-based testing and mutation testing capabilities.

dsl ethereum json-rpc mutation mutation-testing property property-testing viem

Last synced: 30 Apr 2026

https://github.com/typeclasses/loc-test

Hedgehog generators for the 'loc' package

haskell haskell-library property-testing text

Last synced: 16 May 2026

https://github.com/nikitadanilenko/foodie

Food statistics calculator based on the Canadian Nutrient File

database elm-lang hacktoberfest nutrients-calculator postgresql property-testing scala

Last synced: 17 May 2026

https://github.com/teilomillet/ordeal

Automated chaos testing for Python — fault injection, property assertions, and stateful exploration

chaos-testing fault-injection fuzzing hypothesis property-testing python testing

Last synced: 06 Apr 2026