Awesome Open Source
Awesome Open Source
Combined Topics
property-based-testing x

The Top 166 Property Based Testing Open Source Projects

Categories > Software Quality > Property Based Testing
Hypothesis ⭐ 5,923
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
dependent packages 636total releases 958most recent commit 9 hours agopypi hypothesis} Downloads
Kotest ⭐ 3,490
Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing
dependent packages 98total releases 43most recent commit 15 hours ago
Fast Check ⭐ 2,863
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
dependent packages 349total releases 146most recent commit 21 hours agonpm fast-check} Downloads
Scalacheck ⭐ 1,800
Property-based testing for Scala
dependent packages 2,258total releases 34most recent commit 2 months ago
Functionaljava ⭐ 1,488
Functional programming in Java
dependent packages 57total releases 18most recent commit 3 months ago
Swiftcheck ⭐ 1,342
QuickCheck for Swift
total releases 16most recent commit 9 months ago
Schemathesis ⭐ 1,239
A modern API testing tool for web applications built with Open API and GraphQL specifications.
dependent packages 4total releases 199most recent commit 17 days agopypi schemathesis} Downloads
Proptest ⭐ 962
Hypothesis-like property testing for Rust
dependent packages 420total releases 36most recent commit 2 months agocargo proptest} Downloads
Junit Quickcheck ⭐ 891
Property-based testing, JUnit-style
dependent packages 49total releases 44most recent commit a month ago
Stream_data ⭐ 697
Data generation and property-based testing for Elixir. 🔮
dependent packages 24total releases 9most recent commit 17 days agohex stream_data} Downloads
Deepstate ⭐ 687
A unit test-like interface for fuzzing and symbolic execution
most recent commit a month ago
Haskell Hedgehog ⭐ 631
Release with confidence, state-of-the-art property testing for Haskell.
total releases 21most recent commit 4 days ago
Norm ⭐ 628
Data specification and generation
most recent commit 2 months ago
Expecto ⭐ 559
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
dependent packages 31total releases 80most recent commit 2 months agonuget Expecto} Downloads
Quicktheories ⭐ 482
Property based testing for Java 8
dependent packages 25total releases 11most recent commit 2 years ago
Gopter ⭐ 472
GOlang Property TestER
dependent packages 85total releases 16most recent commit a year ago
Jqf ⭐ 444
JQF + Zest: Coverage-guided semantic fuzzing for Java.
dependent packages 1total releases 15most recent commit 2 months ago
Deal ⭐ 380
Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
dependent packages 6total releases 57most recent commit 24 days agopypi deal} Downloads
Fuzzcheck Rs ⭐ 372
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
dependent packages 3total releases 19most recent commit a month agocargo fuzzcheck} Downloads
Elixir Type_check ⭐ 331
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
dependent packages 2total releases 27most recent commit a day agohex type_check} Downloads
Discipline ⭐ 307
Flexible law checking for Scala
dependent packages 169total releases 16most recent commit a month ago
Propcheck ⭐ 304
Property based Testing for Elixir (based upon PropEr)
dependent packages 4total releases 24most recent commit 4 months agohex propcheck} Downloads
Rapid ⭐ 284
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")
dependent packages 139total releases 25most recent commit 2 months ago
Qcheck ⭐ 275
QuickCheck inspired property-based testing for OCaml.
most recent commit 17 days ago
Scalaprops ⭐ 271
property based testing library for Scala
dependent packages 23total releases 45most recent commit 2 days ago
Rantly ⭐ 251
Ruby Imperative Random Data Generator and Quickcheck
dependent packages 8total releases 9most recent commit a year agorubygems rantly} Downloads
Fsharp Hedgehog ⭐ 232
Release with confidence, state-of-the-art property testing for .NET.
dependent packages 2total releases 23most recent commit 12 days agonuget Hedgehog} Downloads
Smos ⭐ 232
A comprehensive self-management System
most recent commit 7 days ago
Quickcheck State Machine ⭐ 192
Test monadic programs using state machine based models
most recent commit a year ago
Fixture Monkey ⭐ 190
Let Fixture Monkey generate test instances including edge cases automatically
dependent packages 1total releases 17most recent commit 7 hours ago
Nyaya ⭐ 170
Random Data Generation and/or Property Testing in Scala & Scala.JS.
dependent packages 8total releases 7most recent commit 2 months ago
Kotlinfixture ⭐ 148
Fixtures for Kotlin providing generated values for unit testing
total releases 2most recent commit 5 months ago
Hypothesis Jsonschema ⭐ 143
Tools to generate test data from JSON schemata with Hypothesis
dependent packages 11total releases 58most recent commit 5 months agopypi hypothesis-jsonschema} Downloads
Expect More ⭐ 135
Curried Type Testing library, and Test Matchers for Jest
dependent packages 24total releases 23most recent commit 9 months agonpm expect-more-jest} Downloads
Smallcheck ⭐ 124
Test your Haskell code by exhaustively checking its properties
most recent commit 18 days ago
Unit Threaded ⭐ 120
Advanced unit test framework for D
dependent packages 11total releases 161most recent commit 9 days agodub unit-threaded} Downloads
Sismic ⭐ 108
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
dependent packages 1total releases 84most recent commit a month agopypi sismic} Downloads
Tstl ⭐ 81
Template Scripting Testing Language tool: automated test generation for Python
total releases 80most recent commit a year ago
Fitspec ⭐ 69
refine properties for testing Haskell programs
total releases 15most recent commit 6 months ago
Spec ⭐ 69
Data specification conformance and generation for Elixir
total releases 3most recent commit 2 years ago
Kitimat ⭐ 63
A library for generative, property-based testing in TypeScript and Jest.
dependent packages 4total releases 9most recent commit 2 years agonpm kitimat} Downloads
Propauth ⭐ 58
A library for property-based policy evaluation
dependent packages 1total releases 26most recent commit 4 years agopackagist psecio/propauth} Downloads
Probably ⭐ 57
To probe what we can't prove, so the unprovable may become probable
dependent packages 1total releases 4most recent commit a month ago
Jsf ⭐ 57
Creates fake JSON files from a JSON schema
total releases 6most recent commit a day ago
Qcstm ⭐ 54
A simple state-machine framework for OCaml based on QCheck
most recent commit 8 months ago
Swagger Conformance ⭐ 49
Python based tool for testing whether your API conforms to its Swagger schema
total releases 8most recent commit 4 years ago
Quick_check.js ⭐ 48
A JS implementation of quick_check
dependent packages 6total releases 11most recent commit 2 years agonpm quick_check} Downloads
Fp Ts Laws ⭐ 47
fp-ts type class laws for property based testing
dependent packages 4total releases 7most recent commit 2 years agonpm fp-ts-laws} Downloads
Ava Fast Check ⭐ 45
Property based testing for AVA based on fast-check
dependent packages 60total releases 11most recent commit 13 hours agonpm ava-fast-check} Downloads
Leancheck ⭐ 37
enumerative property-based testing for Haskell
most recent commit 6 months ago
Bolero ⭐ 34
fuzz and property testing front-end for Rust
most recent commit 2 days ago
Propcheck ⭐ 30
Property based testing for kotlintest ported from quickcheck
most recent commit 2 years ago
Swagger Test ⭐ 29
Property based testing tool for Swagger APIs
most recent commit a year ago
Runtypes Generate ⭐ 29
Transform runtypes type to jsverify arbitrary for generate sample of data
most recent commit 5 years ago
Snabbkaffe ⭐ 29
Collection of utilities for trace-based testing
most recent commit a year ago
Easyspec ⭐ 28
Signature inference for Functional Property Discovery in Haskell
most recent commit 5 years ago
Piggy ⭐ 28
Test for spec compatibility and breaking changes.
most recent commit 3 years ago
Speculate ⭐ 27
Speculate laws about Haskell functions
most recent commit 6 months ago
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.
most recent commit 5 years ago
Efftester ⭐ 26
Effect-Driven Compiler Tester for OCaml
most recent commit 3 years ago
Fable.jester ⭐ 25
Fable bindings for jest and friends for delightful Fable testing.
most recent commit a year ago
Hypothesis Gufunc ⭐ 25
Extension to hypothesis for testing numpy general universal functions
most recent commit 2 years ago
Glados ⭐ 24
🍰 A property-based testing framework that tries to break your invariances.
most recent commit 4 months ago
Rackcheck ⭐ 23
A property-based testing library for Racket.
most recent commit 3 months ago
Fast Check Examples ⭐ 22
Property based testing (QuickCheck) examples based on fast-check
most recent commit 19 days ago
Fuzz Rest Api ⭐ 22
Derive property based testing fact-check into a fuzzer for REST APIs
most recent commit 3 years ago
Kwik ⭐ 22
Property-based testing library for Kotlin
most recent commit 9 months ago
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
most recent commit 4 years ago
Kuickcheck ⭐ 21
A property based testing framework for Kotlin
most recent commit 5 years ago
Pbt Frameworks ⭐ 20
An overview of property-based testing functionality
most recent commit 9 months ago
Carparking ⭐ 20
most recent commit 9 months ago
Edd ⭐ 19
Erlang Declarative Debugger
most recent commit 2 years ago
Scalacheck Gen Regexp ⭐ 18
A library for creating Scalacheck generators from regular expressions
most recent commit a year ago
Json Schema Fast Check ⭐ 17
json-schema + fast-check = Property testing in JS with JSON Schema
most recent commit 9 months ago
Quickcheck ⭐ 16
Randomized testing for Prolog à la QuickCheck
most recent commit 3 years ago
Lark Grammars ⭐ 16
Grammars suitable for lark parser and Hypothesis
most recent commit a year ago
Monkey ⭐ 15
@FuzzyMonkeyCo's minion
most recent commit 14 days ago
Wasm Prop Tester ⭐ 15
A stack-driven generator of arbitrary WebAssembly programs
most recent commit 9 months ago
Quick.py ⭐ 15
Property-based testing library for Python
most recent commit 2 years ago
Emurox ⭐ 13
Emulator of MOS6502 (and eventually NES) with particular focus on understandable design and testing.
most recent commit 4 months ago
Extrapolate ⭐ 13
generalize counter-examples of property-based testing
most recent commit 6 months ago
Hypothesis Csv ⭐ 13
Extension for the hypothesis framework to support the generative testing with CSV input
most recent commit 3 years ago
Fsharp Hedgehog Experimental ⭐ 13
Hedgehog with batteries included: Auto-generators, extra combinators, and more.
most recent commit 2 months ago
Quickcheck ⭐ 12
🩺 Effortless property-based, type-based testing for Nim.
most recent commit 10 months ago
Elm Minithesis ⭐ 11
An Elm port of Minithesis
most recent commit 2 years ago
Ruby Prop_check ⭐ 11
Property Testing library in Ruby
most recent commit 2 years ago
Troll Of Fame Reason ⭐ 11
PBT workshop in ReasonML
most recent commit 3 years ago
Json Values ⭐ 10
Persistent Json in Java
most recent commit 9 hours ago
Propcheck.jl ⭐ 9
A package for simple property based testing in julia.
most recent commit 2 months ago
Fscheck.properties ⭐ 9
FsCheck Basic Property functions
most recent commit 4 years ago
Hypothesis Bio ⭐ 9
Hypothesis extension for computational biology
most recent commit a year ago
Quickcheck ⭐ 9
Property Based Testing in R
most recent commit 2 months ago
Dicetest ⭐ 8
Framework for writing tests with randomly generated test data
most recent commit 3 months ago
Scalacheck Magnolia ⭐ 8
Scalacheck Arbitrary type class derivation using magnolia
most recent commit a year ago
Elixirconf2018 ⭐ 7
Sustainable Testing
most recent commit 3 years ago
Erlmemfs ⭐ 7
Memory file system in Erlang.
most recent commit 3 years ago
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.
most recent commit 25 days ago
Fp In Swift ⭐ 7
Support material for "Functional Programming in Swift" @ Functional Conf, Bangalore, 2017
most recent commit 5 years ago
Software Testing Course ⭐ 7
Software Testing Techniques course offered at Kansas State University in Spring'16 and Spring'17
most recent commit 5 years ago
Qc Ptrees ⭐ 7
A model-based QuickCheck test of ptrees (Patricia trees)
most recent commit 3 years ago
1-100 of 166 projects
Categories
Advertising 📦 8
All Projects
Application Programming Interfaces 📦 107
Applications 📦 174
Artificial Intelligence 📦 69
Blockchain 📦 66
Build Tools 📦 105
Cloud Computing 📦 68
Code Quality 📦 24
Collaboration 📦 27
Command Line Interface 📦 38
Community 📦 79
Companies 📦 60
Compilers 📦 59
Computer Science 📦 73
Configuration Management 📦 37
Content Management 📦 153
Control Flow 📦 187
Data Formats 📦 72
Data Processing 📦 249
Data Storage 📦 116
Economics 📦 56
Frameworks 📦 178
Games 📦 110
Graphics 📦 92
Hardware 📦 137
Integrated Development Environments 📦 43
Learning Resources 📦 139
Legal 📦 24
Libraries 📦 117
Lists Of Projects 📦 19
Machine Learning 📦 313
Mapping 📦 57
Marketing 📦 15
Mathematics 📦 54
Media 📦 214
Messaging 📦 96
Networking 📦 292
Operating Systems 📦 72
Operations 📦 114
Package Managers 📦 50
Programming Languages 📦 173
Runtime Environments 📦 90
Science 📦 42
Security 📦 342
Social Media 📦 23
Software Architecture 📦 65
Software Development 📦 60
Software Performance 📦 53
Software Quality 📦 116
Text Editors 📦 40
Text Processing 📦 118
User Interface 📦 291
User Interface Components 📦 440
Version Control 📦 26
Virtualization 📦 63
Web Browsers 📦 35
Web Servers 📦 23
Web User Interface 📦 167
Top Programming Languages
Javascript  (1,048,735)
Python  (796,103)
Java  (385,413)
Php  (284,589)
Typescript  (239,722)
C Plus Plus  (236,213)
Ruby  (221,696)
C  (180,396)
Shell  (169,594)
C Sharp  (162,015)
Golang  (156,089)
Swift  (64,698)
R  (57,248)
Objective C  (57,169)
Rust  (56,117)
Dart  (51,466)
Kotlin  (45,511)
Lua  (33,293)
Matlab  (30,891)
Perl  (30,483)
Language  (30,085)
Scala  (28,601)
Haskell  (20,260)
Clojure  (19,072)
Powershell  (18,797)
Bash  (18,606)
Coffeescript  (17,331)
Elixir  (16,565)
Assembly  (14,526)
Processing  (13,298)
Julia  (12,536)
Basic  (10,765)
Flow  (10,528)
Emacs Lisp  (10,368)
Erlang  (9,058)
Scheme  (8,437)
Groovy  (8,431)
Solidity  (7,611)
Ocaml  (6,668)
Pascal  (6,378)
Hack  (6,365)
Lisp  (6,340)
Fortran  (5,483)
Elm  (5,477)
Common Lisp  (5,277)
Dlang  (4,747)
Shell Script  (4,633)
Python Library  (4,446)
Crystal  (4,374)
Scripting  (4,203)
Top Projects
Freecodecamp ⭐ 346,432
996.icu ⭐ 262,320
Free Programming Books ⭐ 233,678
Coding Interview University ⭐ 220,499
Awesome ⭐ 202,578
Vue ⭐ 196,186
Developer Roadmap ⭐ 195,398
Public Apis ⭐ 193,925
React ⭐ 188,417
System Design Primer ⭐ 180,789
Tensorflow ⭐ 165,144
Bootstrap ⭐ 157,483
You Dont Know Js ⭐ 153,649
Cs Notes ⭐ 150,780
Ohmyzsh ⭐ 145,459
Build Your Own X ⭐ 142,246
Flutter ⭐ 140,926
Javascript Algorithms ⭐ 140,055
Python ⭐ 136,303
Gitignore ⭐ 133,450
Linux ⭐ 132,199
Vscode ⭐ 132,056
Awesome Python ⭐ 127,528
Javascript ⭐ 123,347
Javaguide ⭐ 121,667
Python 100 Days ⭐ 117,585
Computer Science ⭐ 113,544
Youtube Dl ⭐ 110,239
Fucking Algorithm ⭐ 106,048
The Art Of Command Line ⭐ 105,874
React Native ⭐ 102,862
Electron ⭐ 101,813
D3 ⭐ 100,901
Go ⭐ 99,493
30 Seconds Of Code ⭐ 95,528
Create React App ⭐ 95,174
Axios ⭐ 93,562
Awesome Selfhosted ⭐ 89,230
Kubernetes ⭐ 88,689
Free Programming Books Zh_cn ⭐ 88,386
Node ⭐ 87,823
Next.js ⭐ 87,114
Terminal ⭐ 83,251
Deno ⭐ 82,597
Three.js ⭐ 82,214
Angular ⭐ 81,516
Awesome Go ⭐ 81,089
Typescript ⭐ 80,876
Ant Design ⭐ 80,416
Material Ui ⭐ 78,638
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2022 Awesome Open Source.  All rights reserved.