50 results found Sort:

Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
Created 2013-03-10
15,345 commits to master branch, last one a day ago
186
4.4k
mit
19
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Created 2017-10-30
5,543 commits to main branch, last one 3 days ago
Supercharge your API testing, catch bugs, and ensure compliance
Created 2019-08-19
2,793 commits to master branch, last one 4 hours ago
Functional programming in Java
Created 2010-10-29
1,161 commits to series/5.x branch, last one 2 years ago
105
1.4k
mit
46
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 5 months ago
Data generation and property-based testing for Elixir. 🔮
Created 2017-05-10
353 commits to main branch, last one 6 days ago
99
825
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 10 days ago
26
770
mit
14
🤝 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,279 commits to master branch, last one 2 months ago
Data specification and generation
Created 2019-03-26
229 commits to master branch, last one 23 days ago
96
687
apache-2.0
28
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
Created 2016-10-22
1,530 commits to main branch, last one 14 days ago
115
684
bsd-2-clause
19
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Created 2017-02-23
845 commits to master branch, last one 6 days ago
Release with confidence, state-of-the-art property testing for Haskell.
Created 2017-03-15
528 commits to master branch, last one 26 days ago
25
613
mpl-2.0
7
Rapid is a modern Go property-based testing library
Created 2019-01-07
397 commits to master branch, last one 2 months ago
41
601
mit
10
GOlang Property TestER
Created 2016-02-11
298 commits to master branch, last one 10 months ago
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Created 2020-06-22
833 commits to main branch, last one 3 months ago
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
Created 2019-08-16
925 commits to main branch, last one 3 months ago
42
381
gpl-3.0
8
Property based Testing for Elixir (based upon PropEr)
Created 2015-07-16
1,005 commits to master branch, last one 7 months ago
39
362
bsd-2-clause
13
QuickCheck inspired property-based testing for OCaml.
Created 2013-10-06
1,035 commits to main branch, last one 2 days ago
Flexible law checking for Scala
Created 2013-10-19
836 commits to main branch, last one 2 days ago
Ruby Imperative Random Data Generator and Quickcheck
Created 2015-07-07
263 commits to master branch, last one 3 months ago
property based testing library for Scala
Created 2015-05-05
1,309 commits to master branch, last one 5 days ago
Release with confidence, state-of-the-art property testing for .NET.
Created 2016-10-05
758 commits to master branch, last one about a year ago
Tools to generate test data from JSON schemata with Hypothesis
Created 2018-11-20
415 commits to master branch, last one 11 months ago
5
215
mit
4
Property-Based Testing tool for Ruby that supports concurrency with Ractor.
Created 2024-01-27
137 commits to main branch, last one about a month ago
19
185
lgpl-2.1
5
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
33
173
other
5
Creates fake JSON files from a JSON schema
Created 2021-04-08
132 commits to main branch, last one 9 months ago
Curried Type Testing library, and Test Matchers for Jest
Created 2017-08-20
209 commits to master branch, last one about a year ago
16
136
other
11
Test your Haskell code by exhaustively checking its properties
Created 2011-11-17
316 commits to master branch, last one about a year ago
38
122
bsd-3-clause
13
Advanced unit test framework for D
Created 2013-07-07
1,367 commits to master branch, last one 6 months ago