GitHub topics: property-based-testing
schemathesis/schemathesis
Supercharge your API testing, catch bugs, and ensure compliance
Language: Python - Size: 66.6 MB - Last synced at: about 12 hours ago - Pushed at: about 13 hours ago - Stars: 2,467 - Forks: 173
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
Language: OCaml - Size: 3.18 MB - Last synced at: about 16 hours ago - Pushed at: 16 days ago - Stars: 371 - Forks: 41
jmid/pbt-frameworks
An overview of property-based testing functionality
Size: 40 KB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 61 - Forks: 3
ecnusse/Kea
Property-based Testing for Mobile GUI Apps
Language: Python - Size: 123 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 59 - Forks: 11
typelevel/discipline
Flexible law checking for Scala
Language: Scala - Size: 577 KB - Last synced at: 1 day ago - Pushed at: 13 days ago - Stars: 330 - Forks: 56
aiken-lang/fuzz
A library for writing Fuzzers for property-based testing in Aiken
Language: Nix - Size: 163 KB - Last synced at: 1 day ago - Pushed at: 2 days ago - Stars: 6 - Forks: 5
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.2 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 17 - Forks: 1
whatyouhide/stream_data
Data generation and property-based testing for Elixir. 🔮
Language: Elixir - Size: 483 KB - Last synced at: 2 days ago - Pushed at: 24 days ago - Stars: 898 - Forks: 67
Zac-HD/hypothesis Fork of HypothesisWorks/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Language: Python - Size: 38.3 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 2 - Forks: 0
j5ik2o/prop-check-rs
A Rust crate for property-based testing.
Language: Rust - Size: 444 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 4 - Forks: 0
HypothesisWorks/hypothesis
The property-based testing library for Python
Language: Python - Size: 38.5 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 7,803 - Forks: 599
elixir-toniq/norm
Data specification and generation
Language: Elixir - Size: 360 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 695 - Forks: 29
moonbitlang/quickcheck
Automatic testing of MoonBit programs
Language: MoonBit - Size: 249 KB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 25 - Forks: 4
r8vnhill/dibs
Curso sobre diseño e implementación de bibliotecas de software. Incluye sistemas de construcción, testing, OOP, genéricos, programación funcional y más, con Kotlin y Docusaurus.
Language: TypeScript - Size: 3.19 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 0 - Forks: 0
dubzzz/fast-check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Language: TypeScript - Size: 43.3 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4,482 - Forks: 189
pfichtner/testtypes
Language: Java - Size: 195 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 1
soren-n/minigun-py
A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/
Language: Python - Size: 213 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 1 - Forks: 0
kindone/jsproptest
javascript property-based testing
Language: TypeScript - Size: 1.09 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0
iacopy/cleanpython
A Python3 project template with several useful, standard, integrated batteries to help you write clean, tested, quality code, following the Zen of Python.
Language: Just - Size: 1.07 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 7 - Forks: 0
tonivade/purecheck
Property based testing in Java
Language: Java - Size: 913 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 2 - Forks: 0
hedgehogqa/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
Language: Haskell - Size: 958 KB - Last synced at: 7 days ago - Pushed at: 18 days ago - Stars: 686 - Forks: 107
rantly-rb/rantly
Ruby Imperative Random Data Generator and Quickcheck
Language: Ruby - Size: 7.28 MB - Last synced at: 2 days ago - Pushed at: 6 months ago - Stars: 279 - 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: 9 days ago - Pushed at: 10 days ago - Stars: 276 - Forks: 30
ocaml-multicore/multicoretests
PBT testsuite and libraries for testing multicore OCaml
Language: OCaml - Size: 3.21 MB - Last synced at: 2 days ago - Pushed at: 7 days ago - Stars: 39 - Forks: 16
sarajuhosova/pbt-playground
A collection of property-based testing examples in various frameworks
Language: Rust - Size: 89.8 KB - Last synced at: 9 days ago - Pushed at: 13 days ago - Stars: 0 - Forks: 0
trailofbits/deepstate
A unit test-like interface for fuzzing and symbolic execution
Language: Python - Size: 1.44 MB - Last synced at: 11 days ago - Pushed at: 3 months ago - Stars: 830 - Forks: 99
flyingmutant/rapid
Rapid is a modern Go property-based testing library
Language: Go - Size: 429 KB - Last synced at: 8 days ago - Pushed at: about 2 months ago - Stars: 625 - Forks: 26
ghandic/jsf
Creates fake JSON files from a JSON schema
Language: Python - Size: 1.55 MB - Last synced at: 7 days ago - Pushed at: 5 months ago - Stars: 178 - Forks: 34
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: about 1 year ago - Stars: 263 - Forks: 35
typelift/SwiftCheck
QuickCheck for Swift
Language: Swift - Size: 1.55 MB - Last synced at: 6 days ago - Pushed at: about 3 years ago - Stars: 1,416 - Forks: 105
ligurio/lark-grammars
Grammars suitable for lark parser and Hypothesis
Language: Python - Size: 161 KB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 46 - Forks: 5
rohanpadhye/JQF
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Language: Java - Size: 5.25 MB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 695 - Forks: 116
rbeauchamp/industrial-haskell-template
Industrial-grade Haskell project template for mission-critical systems. Features formal verification (LiquidHaskell), robust error handling, hexagonal architecture, TDD, and AI-assistant rules (Cursor)
Language: Haskell - Size: 122 KB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 0 - Forks: 0
pholser/junit-quickcheck
Property-based testing, JUnit-style
Language: Java - Size: 17.5 MB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 966 - Forks: 123
functionaljava/functionaljava
Functional programming in Java
Language: Java - Size: 3.57 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 1,612 - Forks: 253
nanofuzz/nanofuzz
NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
Language: TypeScript - Size: 1.61 MB - Last synced at: 12 days ago - Pushed at: 21 days ago - Stars: 40 - Forks: 4
Seelengrab/Supposition.jl
A Julia implementation of choice sequence based PBT, inspired by Hypothesis
Language: Julia - Size: 2.33 MB - Last synced at: 12 days ago - Pushed at: 29 days ago - Stars: 54 - Forks: 2
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: 10 days ago - Pushed at: 21 days ago - Stars: 704 - Forks: 98
Kyurenpoto-org/pbdt
Property-Behavior Driven Test for C++
Language: C++ - Size: 399 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 0 - Forks: 0
Philippus/scala-for-all
:horse: REPLesent-presentatie voor Exception Twente op 16 februari 2017
Language: Scala - Size: 8.45 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 0 - Forks: 1
Sevastyan/ptest
A package to conduct property-based unit testing of Dart code.
Language: Dart - Size: 16.6 KB - Last synced at: 20 days ago - Pushed at: 21 days ago - Stars: 0 - Forks: 0
hedgehogqa/fsharp-hedgehog-experimental
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
Language: F# - Size: 470 KB - Last synced at: 4 days ago - Pushed at: 23 days ago - Stars: 24 - Forks: 8
r8vnhill/scala-dibs
Code examples for the Design and Implementation of Software Libraries course (DIBS), focused on Scala. Covers OOP, FP, testing, and more — fully in English, built with SBT and Scala 3.
Language: Scala - Size: 18.6 KB - Last synced at: 23 days ago - Pushed at: 24 days ago - Stars: 0 - Forks: 0
yoohaemin/decrel
Composable relations for Scala
Language: Scala - Size: 321 KB - Last synced at: 11 days ago - Pushed at: 23 days ago - Stars: 72 - Forks: 3
mrigankpawagi/PropertyEval
PropertyEval: Synthesizing Thorough Test Cases for LLM Code Generation Benchmarks using Property-Based Testing
Language: Python - Size: 6.44 MB - Last synced at: 8 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0
leanovate/gopter
GOlang Property TestER
Language: Go - Size: 366 KB - Last synced at: 26 days ago - Pushed at: about 1 year ago - Stars: 602 - Forks: 41
atilaneves/unit-threaded
Advanced unit test framework for D
Language: D - Size: 1.49 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 122 - Forks: 37
scalaprops/scalaprops
property based testing library for Scala
Language: Scala - Size: 1.86 MB - Last synced at: 6 days ago - Pushed at: 20 days ago - Stars: 278 - Forks: 20
TomerAberbach/typespec-fast-check
🐒 A TypeSpec emitter for fast-check arbitraries.
Language: JavaScript - Size: 892 KB - Last synced at: 9 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
MarcelGarus/glados
🍰 A property-based testing framework that tries to break your invariances.
Language: Dart - Size: 258 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 48 - Forks: 15
alfert/propcheck
Property based Testing for Elixir (based upon PropEr)
Language: Elixir - Size: 830 KB - Last synced at: 17 days ago - Pushed at: 10 months ago - Stars: 382 - Forks: 43
ohbarye/pbt
Property-Based Testing tool for Ruby that supports concurrency with Ractor.
Language: Ruby - Size: 197 KB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 216 - Forks: 5
szktty/kiri-check
A testing library for property-based testing in Dart, enabling custom test data generation, testing stateful systems, and integrating seamlessly with package:test.
Language: Dart - Size: 239 KB - Last synced at: 20 days ago - Pushed at: 7 months ago - Stars: 5 - Forks: 0
JerickCD/rant
Rest Api on NodeJS with Typescript - A Boilerplate to get you started
Size: 1.44 MB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0
portasynthinca3/propex 📦
An adaptation of PropEr for the Elixir world.
Language: Elixir - Size: 57.6 KB - Last synced at: 8 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
loiclec/fuzzcheck-rs
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
Language: Rust - Size: 2.99 MB - Last synced at: 7 days ago - Pushed at: about 2 months ago - Stars: 441 - Forks: 10
jmid/qcstm
A simple state-machine framework for OCaml based on QCheck
Language: OCaml - Size: 41 KB - Last synced at: 19 days ago - Pushed at: over 3 years ago - Stars: 66 - Forks: 6
dubzzz/fast-check-examples
Property based testing (QuickCheck) examples based on fast-check
Language: JavaScript - Size: 147 KB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 26 - Forks: 4
rudymatela/leancheck-instances
Common LeanCheck instances
Language: Haskell - Size: 118 KB - Last synced at: 12 days ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
rudymatela/extrapolate
generalize counter-examples of property-based testing
Language: Haskell - Size: 523 KB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 13 - Forks: 0
rudymatela/speculate
Speculate laws about Haskell functions
Language: Haskell - Size: 1.05 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 30 - Forks: 0
psecio/propauth
A library for property-based policy evaluation
Language: PHP - Size: 1.08 MB - Last synced at: 9 days ago - Pushed at: almost 7 years ago - Stars: 58 - Forks: 2
sogaiu/janet-minipbt-translation
Language: Janet - Size: 60.5 KB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
ChocPanda/scalacheck-magnolia 📦
Scalacheck Arbitrary type class derivation using magnolia
Language: Scala - Size: 202 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 10 - Forks: 6
Bodigrim/smallcheck
Test your Haskell code by exhaustively checking its properties
Language: Haskell - Size: 298 KB - Last synced at: 15 days ago - Pushed at: almost 2 years ago - Stars: 136 - Forks: 16
msoedov/quick.py
Property-based testing library for Python
Language: Python - Size: 56.6 KB - Last synced at: 1 day ago - Pushed at: over 2 years ago - Stars: 16 - Forks: 3
fitzgen/mutatis
`mutatis` is a library for writing custom, structure-aware test-case mutators for fuzzers in Rust.
Language: Rust - Size: 125 KB - Last synced at: 13 days ago - Pushed at: 3 months ago - Stars: 8 - Forks: 0
mikkelmilo/rooster-spec
Automated Theory Exploration in Coq using Haskell's QuickSpec
Language: Coq - Size: 160 KB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 1
Seelengrab/PropCheck.jl
A package for simple property based testing in julia.
Language: Julia - Size: 2.03 MB - Last synced at: 11 days ago - Pushed at: about 1 year ago - Stars: 80 - Forks: 0
wcygan/lib-wc
A simple rust library
Language: Rust - Size: 309 KB - Last synced at: 13 days ago - Pushed at: about 2 years ago - Stars: 4 - Forks: 0
maettuu/24FS-Effective-Software-Testing
Repository for the course Effective Software Testing Spring 2024
Language: HTML - Size: 1.31 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 0 - Forks: 0
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: 17 days ago - Pushed at: about 4 years ago - Stars: 39 - Forks: 6
jcornaz/kwik 📦
Property-based testing library for Kotlin
Language: Kotlin - Size: 896 KB - Last synced at: 3 days ago - Pushed at: over 3 years ago - Stars: 22 - Forks: 10
mrigankpawagi/ghAIstwriter
LLM-powered ghostwriter for Hypothesis.
Language: Python - Size: 75.2 KB - Last synced at: 15 days ago - Pushed at: 4 months ago - Stars: 0 - Forks: 1
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: 6 days ago - Pushed at: almost 8 years ago - Stars: 29 - Forks: 3
wcygan/java-practice
java-practice
Language: Java - Size: 188 KB - Last synced at: about 2 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0
Forward-Lang/awesome-property-testing
Curated set of property-based tests for common data structures and algorithms, promoting better test coverage and robustness
Size: 114 KB - Last synced at: 3 days ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
mrigankpawagi/PBT4Automata
Property Based Testing for Finite Automata and Context-free Grammars
Language: Python - Size: 15.6 KB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
Bogdanp/rackcheck
A property-based testing library for Racket.
Language: Racket - Size: 96.7 KB - Last synced at: 18 days ago - Pushed at: 12 months ago - Stars: 31 - Forks: 7
Shmew/Fable.Jester
Fable bindings for jest and friends for delightful Fable testing.
Language: F# - Size: 2.86 MB - Last synced at: 6 days ago - Pushed at: almost 4 years ago - Stars: 35 - Forks: 5
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: 17 days ago - Pushed at: about 2 years ago - Stars: 70 - Forks: 4
kevin-lee/scala-hedgehog Fork of hedgehogqa/scala-hedgehog
Hedgehog will eat all your bugs.
Language: Scala - Size: 2.01 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
JamieMason/expect-more
Curried Type Testing library, and Test Matchers for Jest
Language: TypeScript - Size: 1.62 MB - Last synced at: 16 days ago - Pushed at: about 2 years ago - Stars: 171 - Forks: 10
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: 6 days ago - Pushed at: about 1 year ago - Stars: 25 - Forks: 0
imrafaelmerino/java-fun
java-fun simplifies Property-Based Testing in Java by providing powerful and composable Pseudo Random Generators. These generators enable the creation of diverse test cases effortlessly, making testing more effective and intuitive for developers.
Language: Java - Size: 162 MB - Last synced at: 6 days ago - Pushed at: 5 months ago - Stars: 2 - Forks: 0
imrafaelmerino/jio
Jio is a powerful Java library designed to simplify and enhance input/output operations by leveraging the power of expressions and functions
Language: Java - Size: 5.65 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 1 - Forks: 0
kaichevannes/interview-150
Solutions for the leetcode top 150 interview problems.
Language: C++ - Size: 49.8 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
ej-shafran/count-up
A browser-based game, which is a variation of Chopsticks.
Language: TypeScript - Size: 938 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0
FuzzyMonkeyCo/monkey
@FuzzyMonkeyCo's minion
Language: Go - Size: 1.29 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 20 - Forks: 1
jmid/lcheck
A library for quickchecking lattice modules and associated operations
Language: OCaml - Size: 164 KB - Last synced at: 19 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 3
jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
Language: OCaml - Size: 322 KB - Last synced at: 19 days ago - Pushed at: over 3 years ago - Stars: 19 - Forks: 2
advent-of-craft/2024-summer-craft-book
Summer Craft Book 2024 🏖️
Language: Java - Size: 89 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 30 - Forks: 9
armcn/quickcheck
Property Based Testing in R
Language: R - Size: 3.1 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 25 - Forks: 1
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.91 MB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 741 - Forks: 25
stevana/coverage-guided-pbt
Language: Haskell - Size: 425 KB - Last synced at: 18 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
alexjuda/snekspec
Validate data & generate test examples from schema
Language: Python - Size: 48.8 KB - Last synced at: 15 days ago - Pushed at: almost 4 years ago - Stars: 2 - Forks: 0
Qqwy/ruby-prop_check
Property Testing library in Ruby
Language: Ruby - Size: 315 KB - Last synced at: 6 months ago - Pushed at: 8 months ago - Stars: 86 - Forks: 10
jakoschiko/dicetest
Framework for writing tests with randomly generated test data
Language: Rust - Size: 549 KB - Last synced at: 18 days ago - Pushed at: 7 months ago - Stars: 14 - Forks: 0
Centril/proptest-quickcheck-interop
Provides an interoperability layer for reuse of quickcheck::Arbitrary impls in proptest
Language: Rust - Size: 16.6 KB - Last synced at: 6 days ago - Pushed at: about 7 years ago - Stars: 4 - Forks: 0
olipratt/swagger-conformance
Python based tool for testing whether your API conforms to its Swagger schema
Language: Python - Size: 186 KB - Last synced at: 9 days ago - Pushed at: over 6 years ago - Stars: 53 - Forks: 11
