52 results found Sort:

The property-based testing library for Python
Created 2013-03-10
15,723 commits to master branch, last one 3 days ago
189
4.5k
mit
19
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Created 2017-10-30
5,780 commits to main branch, last one 2 days ago
Supercharge your API testing, catch bugs, and ensure compliance
Created 2019-08-19
2,884 commits to master branch, last one 17 hours ago
Functional programming in Java
Created 2010-10-29
1,161 commits to series/5.x branch, last one 3 years ago
105
1.4k
mit
44
QuickCheck for Swift
Created 2014-08-04
924 commits to master branch, last one 3 years ago
Property-based testing, JUnit-style
Created 2010-10-18
1,208 commits to master branch, last one 7 months ago
Data generation and property-based testing for Elixir. 🔮
Created 2017-05-10
358 commits to main branch, last one 16 days ago
99
830
apache-2.0
57
A unit test-like interface for fuzzing and symbolic execution
Created 2017-10-27
1,182 commits to master branch, last one 2 months ago
29
783
mit
13
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Created 2018-01-25
1,295 commits to master branch, last one about a month ago
98
704
apache-2.0
28
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Created 2016-10-22
1,542 commits to main branch, last one 14 days ago
115
696
bsd-2-clause
19
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Created 2017-02-23
852 commits to master branch, last one 8 days ago
Data specification and generation
Created 2019-03-26
231 commits to master branch, last one about a month ago
Release with confidence, state-of-the-art property testing for Haskell.
Created 2017-03-15
531 commits to master branch, last one 10 days ago
26
625
mpl-2.0
6
Rapid is a modern Go property-based testing library
Created 2019-01-07
400 commits to master branch, last one about a month ago
GOlang Property TestER
Created 2016-02-11
300 commits to master branch, last one 6 days ago
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Created 2020-06-22
833 commits to main branch, last one 5 months ago
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
Created 2019-08-16
928 commits to main branch, last one about a month ago
43
382
gpl-3.0
7
Property based Testing for Elixir (based upon PropEr)
Created 2015-07-16
1,005 commits to master branch, last one 10 months ago
41
369
bsd-2-clause
12
QuickCheck inspired property-based testing for OCaml.
Created 2013-10-06
1,159 commits to main branch, last one 8 days ago
Flexible law checking for Scala
Created 2013-10-19
842 commits to main branch, last one 5 days ago
Ruby Imperative Random Data Generator and Quickcheck
Created 2015-07-07
263 commits to master branch, last one 5 months ago
property based testing library for Scala
Created 2015-05-05
1,320 commits to master branch, last one 27 days ago
Release with confidence, state-of-the-art property testing for .NET.
Created 2016-10-05
759 commits to master branch, last one 2 days ago
Tools to generate test data from JSON schemata with Hypothesis
Created 2018-11-20
415 commits to master branch, last one about a year ago
5
216
mit
4
Property-Based Testing tool for Ruby that supports concurrency with Ractor.
Created 2024-01-27
137 commits to main branch, last one 3 months ago
19
185
lgpl-2.1
4
Random Data Generation and/or Property Testing in Scala & Scala.JS.
Created 2015-01-10
415 commits to master branch, last one 2 years ago
34
178
other
5
Creates fake JSON files from a JSON schema
Created 2021-04-08
132 commits to main branch, last one 11 months ago
Curried Type Testing library, and Test Matchers for Jest
Created 2017-08-20
209 commits to master branch, last one 2 years ago
16
136
other
10
Test your Haskell code by exhaustively checking its properties
Created 2011-11-17
316 commits to master branch, last one about a year ago
37
122
bsd-3-clause
12
Advanced unit test framework for D
Created 2013-07-07
1,377 commits to master branch, last one 26 days ago