Awesome Open Source
Awesome Open Source
Combined Topics
property-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 40 Property Testing Open Source Projects on Github

Categories > Software Quality > Property Testing
Kotest ⭐ 3,208
Powerful, elegant and flexible test framework for Kotlin with additional assertions, property testing and data driven testing
Scalacheck ⭐ 1,775
Property-based testing for Scala
Stream_data ⭐ 644
Data generation and property-based testing for Elixir. 🔮
Haskell Hedgehog ⭐ 600
Release with confidence, state-of-the-art property testing for Haskell.
Rapid ⭐ 261
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")
Fsharp Hedgehog ⭐ 226
Release with confidence, state-of-the-art property testing for .NET.
Smos ⭐ 208
A comprehensive self-management System
Nyaya ⭐ 169
Random Data Generation and/or Property Testing in Scala & Scala.JS.
Kotlinfixture ⭐ 140
Fixtures for Kotlin providing generated values for unit testing
Expect More ⭐ 135
Curried Type Testing library, and Test Matchers for Jest
Smallcheck ⭐ 120
Test your Haskell code by exhaustively checking its properties
Unit Threaded ⭐ 117
Advanced unit test framework for D
Sismic ⭐ 102
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Fitspec ⭐ 69
refine properties for testing Haskell programs
Probably ⭐ 58
To probe what we can't prove, so the unprovable may become probable
Leancheck ⭐ 37
enumerative property-based testing for Haskell
Propcheck ⭐ 30
Property based testing for kotlintest ported from quickcheck
Easyspec ⭐ 28
Signature inference for Functional Property Discovery in Haskell
Speculate ⭐ 27
Speculate laws about Haskell functions
Scala Category Theory ⭐ 22
Bartosz Milewski great book on Category Theory implemented in scala, with property Tests
Bolero ⭐ 21
fuzz and property testing front-end for Rust
Pbt Frameworks ⭐ 20
An overview of property-based testing functionality
Scalacheck Gen Regexp ⭐ 18
A library for creating Scalacheck generators from regular expressions
Swift Quickcheck ⭐ 16
🏁 An implementation of QuickCheck in Swift.
Wasm Prop Tester ⭐ 15
A stack-driven generator of arbitrary WebAssembly programs
Extrapolate ⭐ 13
generalize counter-examples of property-based testing
Monkey ⭐ 13
@FuzzyMonkeyCo's minion
Ruby Prop_check ⭐ 11
Property Testing library in Ruby
Elixirconf2018 ⭐ 7
Sustainable Testing
Fuzztest Rs ⭐ 6
Easily test your software using powerful evolutionary, feedback-driven fuzzing technology.
Guesswork ⭐ 3
Framework for property-based testing in JavaScript, TypeScript, JSX, and TSX.
Phdthesis ⭐ 2
This is my Ph.D. Thesis, defended at Columbia University in Fall 2017 (Computer Science).
Ocaml Jack ⭐ 2
QuickCheck with shrinking for free
Tastes ⭐ 2
Visualize software behavior with intelligent sampling
Fm ⭐ 1
Concise syntax for embedding validation within functions
Breaking Return True To Win ⭐ 1
Breaking 'return true to win' using Property based testing fast-check
Elbaulp Scala.g8 ⭐ 1
Giter8 template for a simple Scala project with Property Checks, ScalaTest and log4j
Leancheck Instances ⭐ 1
Common LeanCheck instances
Hedgehog Gen ⭐ 1
Customizable Gen for ADT using Generics
Dag Check ⭐ 1
Conceptual code for property testing of DAG graphs used for my work
1-40 of 40 projects

Related Projects

Property Based Testing Projects (156)
Property Based Testing Quickcheck Projects (44)
Scala Property Based Testing Projects (14)
Quickcheck Property Testing Projects (12)
Javascript Property Based Testing Projects (12)
Haskell Property Testing Projects (11)
Haskell Property Based Testing Projects (10)
Ocaml Property Based Testing Projects (9)
Test Property Based Testing Projects (7)
Elixir Property Based Testing Projects (7)
Ocaml Property Based Testing Quickcheck Projects (7)
Test Property Testing Projects (6)
Scala Property Testing Projects (6)
Haskell Property Based Testing Leancheck Projects (5)
Haskell Property Testing Leancheck Projects (5)
Property Based Testing Leancheck Projects (5)
Typescript Property Testing Projects (3)
Scala Property Testing Scalacheck Projects (3)
Property Testing Scalacheck Projects (3)
Kotlin Property Testing Projects (3)
Test Property Based Testing Quickcheck Projects (3)
Test Quickcheck Property Testing Projects (3)
Javascript Property Testing Projects (3)
Elixir Property Testing Projects (2)
Hacktoberfest Property Testing Projects (2)
Haskell Quickcheck Property Testing Projects (2)
Functional Programming Property Testing Projects (2)
Ocaml Quickcheck Property Testing Projects (2)
Ocaml Property Testing Projects (2)
Random Property Testing Projects (2)
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
Privacy policy
"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