HypothesisWorks/hypothesis

The property-based testing library for Python

Language: Python - Size: 40.6 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 8,228 - Forks: 626

dubzzz/fast-check

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

Language: TypeScript - Size: 46.6 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 4,668 - Forks: 200

schemathesis/schemathesis

Catch API bugs before your users do

Language: Python - Size: 69.4 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,847 - Forks: 192

functionaljava/functionaljava

Functional programming in Java

Language: Java - Size: 3.57 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 1,616 - Forks: 254

typelift/SwiftCheck

QuickCheck for Swift

Language: Swift - Size: 1.55 MB - Last synced at: about 2 months ago - Pushed at: over 3 years ago - Stars: 1,421 - Forks: 109

pholser/junit-quickcheck

Property-based testing, JUnit-style

Language: Java - Size: 17.5 MB - Last synced at: 4 months ago - Pushed at: about 1 year ago - Stars: 968 - Forks: 123

whatyouhide/stream_data

Data generation and property-based testing for Elixir. 🔮

Language: Elixir - Size: 564 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 919 - Forks: 73

trailofbits/deepstate

A unit test-like interface for fuzzing and symbolic execution

Language: Python - Size: 1.42 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 837 - Forks: 98

life4/deal

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

Language: Python - Size: 1.95 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 836 - Forks: 33

haf/expecto

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

Language: F# - Size: 38.3 MB - Last synced at: 24 days ago - Pushed at: 2 months ago - Stars: 716 - Forks: 98

rohanpadhye/JQF

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

Language: Java - Size: 5.27 MB - Last synced at: 4 months ago - Pushed at: 6 months ago - Stars: 705 - Forks: 118

elixir-toniq/norm

Data specification and generation

Language: Elixir - Size: 362 KB - Last synced at: about 2 months ago - Pushed at: 2 months ago - Stars: 700 - Forks: 30

hedgehogqa/haskell-hedgehog

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

Language: Haskell - Size: 859 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 692 - Forks: 110

flyingmutant/rapid

Rapid is a modern Go property-based testing library

Language: Go - Size: 448 KB - Last synced at: 16 days ago - Pushed at: about 1 month ago - Stars: 687 - Forks: 29

leanovate/gopter

GOlang Property TestER

Language: Go - Size: 371 KB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 609 - Forks: 43

Qqwy/elixir-type_check

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

Language: Elixir - Size: 1.53 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 529 - Forks: 25

quicktheories/QuickTheories

Property based testing for Java 8

Language: Java - Size: 493 KB - Last synced at: 4 months ago - Pushed at: about 5 years ago - Stars: 511 - Forks: 50

loiclec/fuzzcheck-rs

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

Language: Rust - Size: 3.01 MB - Last synced at: 29 days ago - Pushed at: 4 months ago - Stars: 443 - Forks: 13

alfert/propcheck

Property based Testing for Elixir (based upon PropEr)

Language: Elixir - Size: 845 KB - Last synced at: 18 days ago - Pushed at: 7 months ago - Stars: 387 - Forks: 44

c-cube/qcheck

QuickCheck inspired property-based testing for OCaml.

Language: OCaml - Size: 3.75 MB - Last synced at: about 24 hours ago - Pushed at: 1 day ago - Stars: 385 - Forks: 44

typelevel/discipline

Flexible law checking for Scala

Language: Scala - Size: 585 KB - Last synced at: 27 days ago - Pushed at: about 1 month ago - Stars: 335 - Forks: 58

rantly-rb/rantly

Ruby Imperative Random Data Generator and Quickcheck

Language: Ruby - Size: 7.3 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 284 - Forks: 21

hedgehogqa/fsharp-hedgehog

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

Language: F# - Size: 3.73 MB - Last synced at: about 2 months ago - Pushed at: 7 months ago - Stars: 281 - Forks: 30

scalaprops/scalaprops

property based testing library for Scala

Language: Scala - Size: 1.98 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 278 - Forks: 21

python-jsonschema/hypothesis-jsonschema

Tools to generate test data from JSON schemata with Hypothesis

Language: Python - Size: 10.4 MB - Last synced at: 9 days ago - Pushed at: over 1 year ago - Stars: 274 - Forks: 36

ohbarye/pbt

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

Language: Ruby - Size: 196 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 222 - Forks: 6

advancedtelematic/quickcheck-state-machine 📦

Test monadic programs using state machine based models

Language: Haskell - Size: 2.71 MB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 204 - Forks: 25

ghandic/jsf

Creates fake JSON files from a JSON schema

Language: Python - Size: 1.55 MB - Last synced at: 30 days ago - Pushed at: about 1 year ago - Stars: 188 - Forks: 39

japgolly/nyaya

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

Language: Scala - Size: 579 KB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 186 - Forks: 19

JamieMason/expect-more

Curried Type Testing library, and Test Matchers for Jest

Language: TypeScript - Size: 1.62 MB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 173 - Forks: 9

ecnusse/Kea2

Fusing automated UI testing with scripts for effectively fuzzing Android apps

Language: HTML - Size: 61.6 MB - Last synced at: about 24 hours ago - Pushed at: 1 day ago - Stars: 165 - Forks: 23

Bodigrim/smallcheck

Test your Haskell code by exhaustively checking its properties

Language: Haskell - Size: 317 KB - Last synced at: 30 days ago - Pushed at: 4 months ago - Stars: 136 - Forks: 16

atilaneves/unit-threaded

Advanced unit test framework for D

Language: D - Size: 1.49 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 121 - Forks: 38

agroce/tstl

Template Scripting Testing Language tool: automated test generation for Python

Language: Python - Size: 13.5 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 105 - Forks: 25

Qqwy/ruby-prop_check

Property Testing library in Ruby

Language: Ruby - Size: 340 KB - Last synced at: 11 days ago - Pushed at: 8 months ago - Stars: 97 - Forks: 10

Seelengrab/PropCheck.jl

A package for simple property based testing in julia.

Language: Julia - Size: 2.03 MB - Last synced at: 10 days ago - Pushed at: over 1 year ago - Stars: 81 - Forks: 0

gcanti/fp-ts-laws

fp-ts type class laws for property based testing

Language: TypeScript - Size: 148 KB - Last synced at: about 1 month ago - Pushed at: about 2 years ago - Stars: 81 - Forks: 6

vic/spec

Data specification conformance and generation for Elixir

Language: Elixir - Size: 76.2 KB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 80 - Forks: 3

advent-of-craft/2023

Advent of Craft

Language: Java - Size: 88.9 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 79 - Forks: 65

rudymatela/fitspec

refine properties for testing Haskell programs

Language: Haskell - Size: 636 KB - Last synced at: about 18 hours ago - Pushed at: 10 months ago - Stars: 76 - Forks: 0

Seelengrab/Supposition.jl

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

Language: Julia - Size: 1.92 MB - Last synced at: 10 days ago - Pushed at: 17 days ago - Stars: 75 - Forks: 2

jmid/pbt-frameworks

An overview of property-based testing functionality

Size: 54.7 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 74 - Forks: 3

yoohaemin/decrel

Composable relations for Scala

Language: Scala - Size: 345 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 72 - Forks: 3

stevana/property-based-testing-stateful-systems-tutorial

A tutorial about how to apply property-based testing to stateful systems.

Language: Haskell - Size: 421 KB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 70 - Forks: 4

garbles/kitimat

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

Language: TypeScript - Size: 764 KB - Last synced at: 27 days ago - Pushed at: almost 3 years ago - Stars: 68 - Forks: 1

jmid/qcstm

A simple state-machine framework for OCaml based on QCheck

Language: OCaml - Size: 41 KB - Last synced at: 8 months ago - Pushed at: about 4 years ago - Stars: 66 - Forks: 6

ecnusse/Kea

Property-based Testing for Mobile GUI Apps

Language: Python - Size: 123 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 59 - Forks: 13

ponylang/ponycheck 📦

Property Based Testing for Ponylang 🐴 ✔️

Language: Pony - Size: 6.06 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 59 - Forks: 5

psecio/propauth

A library for property-based policy evaluation

Language: PHP - Size: 1.08 MB - Last synced at: about 2 months ago - Pushed at: over 7 years ago - Stars: 58 - Forks: 2

olipratt/swagger-conformance

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

Language: Python - Size: 186 KB - Last synced at: 3 months ago - Pushed at: about 7 years ago - Stars: 53 - Forks: 11

rudymatela/leancheck

enumerative property-based testing for Haskell

Language: Haskell - Size: 1.33 MB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 52 - Forks: 8

ligurio/lark-grammars

Grammars suitable for lark parser and Hypothesis

Language: Python - Size: 161 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 50 - Forks: 4

MarcelGarus/glados

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

Language: Dart - Size: 258 KB - Last synced at: 7 months ago - Pushed at: almost 2 years ago - Stars: 48 - Forks: 15

sgepigon/piggy

Test for spec compatibility and breaking changes.

Language: Clojure - Size: 69.3 KB - Last synced at: about 1 month ago - Pushed at: almost 6 years ago - Stars: 47 - Forks: 1

gampleman/quick_check.js

A JS implementation of quick_check

Language: CoffeeScript - Size: 541 KB - Last synced at: about 2 months ago - Pushed at: over 5 years ago - Stars: 46 - Forks: 2

dubzzz/ava-fast-check 📦

Property based testing for AVA based on fast-check

Language: JavaScript - Size: 259 KB - Last synced at: 3 months ago - Pushed at: over 3 years ago - Stars: 45 - Forks: 4

klarna/snabbkaffe 📦

Collection of utilities for trace-based testing

Language: Erlang - Size: 97.7 KB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 45 - Forks: 4

nanofuzz/nanofuzz

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

Language: TypeScript - Size: 2.09 MB - Last synced at: about 18 hours ago - Pushed at: about 19 hours ago - Stars: 43 - Forks: 6

ocaml-multicore/multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language: OCaml - Size: 3.53 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 43 - Forks: 16

typeetfunc/runtypes-generate

Transform runtypes type to jsverify arbitrary for generate sample of data

Language: TypeScript - Size: 16.6 KB - Last synced at: 29 days ago - Pushed at: about 8 years ago - Stars: 41 - Forks: 1

bertilmuth/act

Executable state charts, property based testing and more.

Language: Java - Size: 1.83 MB - Last synced at: 3 months ago - Pushed at: almost 2 years ago - Stars: 40 - Forks: 6

uber/hypothesis-gufunc

Extension to hypothesis for testing numpy general universal functions

Language: Python - Size: 55.7 KB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 39 - Forks: 6

dubzzz/fuzz-rest-api

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

Language: JavaScript - Size: 63.5 KB - Last synced at: 8 months ago - Pushed at: over 4 years ago - Stars: 39 - Forks: 6

jmid/efftester

Effect-Driven Compiler Tester for OCaml

Language: OCaml - Size: 29.3 KB - Last synced at: 23 days ago - Pushed at: about 6 years ago - Stars: 37 - Forks: 5

Shmew/Fable.Jester

Fable bindings for jest and friends for delightful Fable testing.

Language: F# - Size: 2.86 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 36 - Forks: 5

1Jajen1/propCheck

Property based testing for kotlintest ported from quickcheck

Language: Kotlin - Size: 627 KB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 33 - Forks: 1

Bogdanp/rackcheck

A property-based testing library for Racket.

Language: Racket - Size: 96.7 KB - Last synced at: 6 months ago - Pushed at: over 1 year ago - Stars: 32 - Forks: 7

rodrigosetti/swagger-test

Property based testing tool for Swagger APIs

Language: Haskell - Size: 85 KB - Last synced at: 30 days ago - Pushed at: almost 5 years ago - Stars: 32 - Forks: 3

rudymatela/speculate

Speculate laws about Haskell functions

Language: Haskell - Size: 1.05 MB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 30 - Forks: 0

advent-of-craft/2024-summer-craft-book

Summer Craft Book 2024 🏖️

Language: Java - Size: 89 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 30 - Forks: 9

elbaulp/Scala-Category-Theory

Bartosz Milewski great book on Category Theory implemented in scala, with property Tests

Language: Scala - Size: 34.2 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 30 - Forks: 4

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.

Language: TypeScript - Size: 5.53 MB - Last synced at: 18 days ago - Pushed at: over 8 years ago - Stars: 29 - Forks: 3

armcn/quickcheck

Property Based Testing in R

Language: R - Size: 3.97 MB - Last synced at: 10 days ago - Pushed at: 5 months ago - Stars: 28 - Forks: 2

dubzzz/fast-check-examples

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

Language: JavaScript - Size: 147 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 27 - Forks: 4

Eronmmer/valibot-fast-check

Generate fast-check arbitraries from Valibot schemas for property-based testing

Language: TypeScript - Size: 92.8 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 26 - Forks: 2

moonbitlang/quickcheck

Automatic testing of MoonBit programs

Language: MoonBit - Size: 360 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 25 - Forks: 4

chobeat/hypothesis-csv

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

Language: Python - Size: 75.2 KB - Last synced at: 22 days ago - Pushed at: almost 2 years ago - Stars: 25 - Forks: 0

hedgehogqa/fsharp-hedgehog-experimental

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

Language: F# - Size: 490 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 24 - Forks: 8

les-tontons-crafters/xtrem-tdd-money-kata

Repository for the workshop on the "Money Problem"

Language: C# - Size: 30 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 10

nicoabie/quickcheck

Randomized testing for Prolog à la QuickCheck

Language: Prolog - Size: 72.3 KB - Last synced at: 5 months ago - Pushed at: over 6 years ago - Stars: 23 - Forks: 1

mike-neck/kuickcheck

A property based testing framework for Kotlin

Language: Kotlin - Size: 223 KB - Last synced at: over 2 years ago - Pushed at: over 8 years ago - Stars: 23 - Forks: 2

serjKim/CarParking

Language: F# - Size: 1.06 MB - Last synced at: over 2 years ago - Pushed at: almost 3 years ago - Stars: 22 - Forks: 3

jcornaz/kwik 📦

Property-based testing library for Kotlin

Language: Kotlin - Size: 896 KB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 22 - Forks: 10

FuzzyMonkeyCo/monkey

@FuzzyMonkeyCo's minion

Language: Go - Size: 1.29 MB - Last synced at: 5 months ago - Pushed at: 10 months ago - Stars: 20 - Forks: 1

neysofu/reltester

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

Language: Rust - Size: 23.4 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 20 - Forks: 2

tamarit/edd

Erlang Declarative Debugger

Language: Erlang - Size: 5.3 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 20 - Forks: 4

jmid/wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

Language: OCaml - Size: 322 KB - Last synced at: 3 months ago - Pushed at: about 4 years ago - Stars: 19 - Forks: 2

msoedov/quick.py

Property-based testing library for Python

Language: Python - Size: 56.6 KB - Last synced at: about 2 months ago - Pushed at: almost 3 years ago - Stars: 18 - Forks: 3

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.

Language: Scala - Size: 35.3 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 17 - Forks: 2

rossdrew/emuRox

Emulator of MOS6502 (and eventually NES) with particular focus on understandable design and testing.

Language: Java - Size: 9.76 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 16 - Forks: 3

Janiczek/elm-minithesis

An Elm port of Minithesis

Language: Elm - Size: 700 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 16 - Forks: 1

pblasucci/GrowingGildedRose

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

Language: C# - Size: 36.1 KB - Last synced at: 3 months ago - Pushed at: almost 3 years ago - Stars: 16 - Forks: 1

jakoschiko/dicetest

Framework for writing tests with randomly generated test data

Language: Rust - Size: 564 KB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 14 - Forks: 0

IQTLabs/hypothesis-bio 📦

Hypothesis extension for computational biology

Language: Python - Size: 671 KB - Last synced at: over 1 year ago - Pushed at: almost 3 years ago - Stars: 14 - Forks: 2

rudymatela/extrapolate

generalize counter-examples of property-based testing

Language: Haskell - Size: 523 KB - Last synced at: about 2 months ago - Pushed at: 10 months ago - Stars: 13 - Forks: 0

ythirion/refactoring-du-bouchonnois

Kata de refactoring pour apprendre des techniques telles que Property-Based Testing, Approval Testing, Strangler, Functional Programming, ....

Language: HTML - Size: 24.7 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 4

nomasystems/restcheck

:mag: An automatic REST API fuzzing tool based on property-based testing techniques.

Language: Erlang - Size: 574 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 12 - Forks: 2

rkoeninger/KitchenSink

Multi-paradigm programming in C#

Language: C# - Size: 943 KB - Last synced at: 21 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 0

schneiderfelipe/quickcheck 📦

🩺 Effortless property-based, type-based testing for Nim.

Language: Nim - Size: 39.1 KB - Last synced at: over 1 year ago - Pushed at: over 4 years ago - Stars: 12 - Forks: 1

jmid/qc-ptrees

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

Language: OCaml - Size: 113 KB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 12 - Forks: 2