Awesome Open Source
Awesome Open Source
Combined Topics
property-based-testing x
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194

The Top 156 Property Based Testing Open Source Projects on Github

Categories > Software Quality > Property Based Testing
Hypothesis ⭐ 5,436
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Fast Check ⭐ 2,479
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Functionaljava ⭐ 1,426
Functional programming in Java
Swiftcheck ⭐ 1,342
QuickCheck for Swift
Schemathesis ⭐ 1,018
A modern API testing tool for web applications built with Open API and GraphQL specifications.
Junit Quickcheck ⭐ 865
Property-based testing, JUnit-style
Deepstate ⭐ 655
A unit test-like interface for fuzzing and symbolic execution
Stream_data ⭐ 635
Data generation and property-based testing for Elixir. 🔮
Haskell Hedgehog ⭐ 600
Release with confidence, state-of-the-art property testing for Haskell.
Norm ⭐ 578
Data specification and generation
Expecto ⭐ 523
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Quicktheories ⭐ 482
Property based testing for Java 8
Gopter ⭐ 472
GOlang Property TestER
Jqf ⭐ 403
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Propcheck ⭐ 295
Property based Testing for Elixir (based upon PropEr)
Discipline ⭐ 293
Flexible law checking for Scala
Fuzzcheck Rs ⭐ 278
Structure-aware, coverage-guided fuzzing engine for Rust functions.
Scalaprops ⭐ 268
property based testing library for Scala
Rapid ⭐ 249
Rapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")
Qcheck ⭐ 234
QuickCheck inspired property-based testing for OCaml.
Deal ⭐ 234
Design by contract for Python with static checker and tests' generation.
Fsharp Hedgehog ⭐ 225
Release with confidence, state-of-the-art property testing for .NET.
Rantly ⭐ 224
Ruby Imperative Random Data Generator and Quickcheck
Quickcheck State Machine ⭐ 192
Test monadic programs using state machine based models
Elixir Type_check ⭐ 179
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Nyaya ⭐ 169
Random Data Generation and/or Property Testing in Scala & Scala.JS.
Expect More ⭐ 135
Curried Type Testing library, and Test Matchers for Jest
Hypothesis Jsonschema ⭐ 133
Tools to generate test data from JSON schemata with Hypothesis
Unit Threaded ⭐ 117
Advanced unit test framework for D
Smallcheck ⭐ 117
Test your Haskell code by exhaustively checking its properties
Fixture Monkey ⭐ 113
Let Fixture Monkey generate test instances including edge cases automatically
Tstl ⭐ 81
Template Scripting Testing Language tool: automated test generation for Python
Spec ⭐ 69
Data specification conformance and generation for Elixir
Fitspec ⭐ 67
refine properties for testing Haskell programs
Kitimat ⭐ 63
A library for generative, property-based testing in TypeScript and Jest.
Propauth ⭐ 58
A library for property-based policy evaluation
Ponycheck ⭐ 55
Property Based Testing for Ponylang 🐴 ✔️
Qcstm ⭐ 54
A simple state-machine framework for OCaml based on QCheck
Swagger Conformance ⭐ 49
Python based tool for testing whether your API conforms to its Swagger schema
Quick_check.js ⭐ 48
A JS implementation of quick_check
Fp Ts Laws ⭐ 47
fp-ts type class laws for property based testing
Ava Fast Check ⭐ 40
Property based testing for AVA based on fast-check
Leancheck ⭐ 35
enumerative property-based testing for Haskell
Propcheck ⭐ 30
Property based testing for kotlintest ported from quickcheck
Swagger Test ⭐ 29
Property based testing tool for Swagger APIs
Runtypes Generate ⭐ 29
Transform runtypes type to jsverify arbitrary for generate sample of data
Snabbkaffe ⭐ 29
Collection of utilities for trace-based testing
Piggy ⭐ 28
Test for spec compatibility and breaking changes.
Speculate ⭐ 27
Speculate laws about Haskell functions
Efftester ⭐ 26
Effect-Driven Compiler Tester for OCaml
Clausejs ⭐ 26
Write clauses 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.
Fable.jester ⭐ 25
Fable bindings for jest and friends for delightful Fable testing.
Hypothesis Gufunc ⭐ 25
Extension to hypothesis for testing numpy general universal functions
Fuzz Rest Api ⭐ 22
Derive property based testing fact-check into a fuzzer for REST APIs
Kwik ⭐ 22
Property-based testing library for Kotlin
Rackcheck ⭐ 22
A property-based testing library for Racket.
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Glados ⭐ 21
🍰 A property-based testing framework that tries to break your invariances.
Kuickcheck ⭐ 21
A property based testing framework for Kotlin
Pbt Frameworks ⭐ 20
An overview of property-based testing functionality
Carparking ⭐ 20
Edd ⭐ 19
Erlang Declarative Debugger
Quickcheck ⭐ 16
Randomized testing for Prolog à la QuickCheck
Lark Grammars ⭐ 16
Grammars suitable for lark parser and Hypothesis
Wasm Prop Tester ⭐ 15
A stack-driven generator of arbitrary WebAssembly programs
Quick.py ⭐ 15
Property-based testing library for Python
Jsf ⭐ 14
Creates fake JSON files from a JSON schema
Fast Check Examples ⭐ 14
Property based testing (QuickCheck) examples based on fast-check
Emurox ⭐ 13
Emulator of MOS6502 (and eventually NES) with particular focus on understandable design and testing.
Monkey ⭐ 13
@FuzzyMonkeyCo's minion
Extrapolate ⭐ 13
generalize counter-examples of property-based testing
Hypothesis Csv ⭐ 13
Extension for the hypothesis framework to support the generative testing with CSV input
Quickcheck ⭐ 12
🩺 Effortless property-based, type-based testing for Nim.
Troll Of Fame Reason ⭐ 11
PBT workshop in ReasonML
Elm Minithesis ⭐ 11
An Elm port of Minithesis
Ruby Prop_check ⭐ 11
Property Testing library in Ruby
Fsharp Hedgehog Experimental ⭐ 11
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
Hypothesis Bio ⭐ 9
Hypothesis extension for computational biology
Fscheck.properties ⭐ 9
FsCheck Basic Property functions
Bs Jsverify ⭐ 9
Jsverify bindings for bucklescript
Scalacheck Magnolia ⭐ 8
Scalacheck Arbitrary type class derivation using magnolia
Chance Generators ⭐ 8
Random generators based on changejs
Dicetest ⭐ 8
Framework for writing tests with randomly generated test data
Qc Ptrees ⭐ 7
A model-based QuickCheck test of ptrees (Patricia trees)
Americium ⭐ 7
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.
Software Testing Course ⭐ 7
Software Testing Techniques course offered at Kansas State University in Spring'16 and Spring'17
Fp In Swift ⭐ 7
Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017
Elixirconf2018 ⭐ 7
Sustainable Testing
Erlmemfs ⭐ 7
Memory file system in Erlang.
Fuzztest Rs ⭐ 6
Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
Kitchensink ⭐ 6
Multi-paradigm programming in C#
Troll Of Fame Java ⭐ 6
Java code for the Troll Aklass workshop on Property Based Tests
Generators.graph ⭐ 6
A library of test.check generators for graph data
Propcheck.jl ⭐ 6
A package for simple property based testing in julia.
Bulletproof ⭐ 5
[WIP] QuickCheck like PHP library for easier property based testing
Cyclejs Test Helpers ⭐ 5
A small collection of useful utilities
Xmerl_ext ⭐ 5
Set of extensions for Erlang's xmerl library (CDATA, XML entities, DTD definitions).
Befuzzle ⭐ 5
Grammar-based fuzzing of REST APIs via an OpenAPI spec
Pytest Santa ⭐ 4
Infers types and generates test data from the respective type with Monkeytype and Hypothesis.
Troll Of Fame Js ⭐ 4
PBT workshop in js
1-100 of 156 projects

Related Projects

Property Based Testing Quickcheck Projects (44)
Python Property Based Testing Projects (21)
Fuzzing Property Based Testing Projects (15)
Java Property Based Testing Projects (15)
Scala Property Based Testing Projects (15)
Property Based Testing Hypothesis Projects (14)
Javascript Property Based Testing Projects (12)
Typescript Property Based Testing Projects (11)
Python Property Based Testing Hypothesis Projects (11)
Haskell Property Based Testing Projects (10)
Functional Programming Property Based Testing Projects (10)
F Sharp Property Based Testing Projects (10)
Ocaml Property Based Testing Projects (9)
Advertising 📦 9
All Projects
Application Programming Interfaces 📦 120
Applications 📦 181
Artificial Intelligence 📦 72
Blockchain 📦 70
Build Tools 📦 111
Cloud Computing 📦 79
Code Quality 📦 28
Collaboration 📦 30
Command Line Interface 📦 48
Community 📦 81
Companies 📦 60
Compilers 📦 60
Computer Science 📦 74
Configuration Management 📦 39
Content Management 📦 167
Control Flow 📦 197
Data Formats 📦 77
Data Processing 📦 266
Data Storage 📦 132
Economics 📦 60
Frameworks 📦 198
Games 📦 122
Graphics 📦 103
Hardware 📦 148
Integrated Development Environments 📦 47
Learning Resources 📦 147
Legal 📦 28
Libraries 📦 119
Lists Of Projects 📦 21
Machine Learning 📦 336
Mapping 📦 61
Marketing 📦 15
Mathematics 📦 55
Media 📦 228
Messaging 📦 97
Networking 📦 304
Operating Systems 📦 84
Operations 📦 120
Package Managers 📦 52
Programming Languages 📦 229
Runtime Environments 📦 96
Science 📦 42
Security 📦 375
Social Media 📦 26
Software Architecture 📦 70
Software Development 📦 68
Software Performance 📦 57
Software Quality 📦 127
Text Editors 📦 45
Text Processing 📦 131
User Interface 📦 310
User Interface Components 📦 465
Version Control 📦 29
Virtualization 📦 68
Web Browsers 📦 38
Web Servers 📦 25
Web User Interface 📦 194
"GitHub" is a registered trademark of GitHub, Inc. Awesome Open Source is not affiliated with GitHub.

All non readme contents or Github based topics or project metadata copyright Awesome Open Source 2018-2021