19 results found Sort:

663
4.6k
apache-2.0
51
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Created 2015-11-29
5,429 commits to master branch, last one 15 hours ago
406
1.9k
bsd-3-clause
56
Property-based testing for Scala
Created 2011-05-26
2,210 commits to main branch, last one about a month ago
Data generation and property-based testing for Elixir. 🔮
Created 2017-05-10
358 commits to main branch, last one 27 days ago
Release with confidence, state-of-the-art property testing for Haskell.
Created 2017-03-15
531 commits to master branch, last one 21 days ago
27
631
mpl-2.0
7
Rapid is a modern Go property-based testing library
Created 2019-01-07
400 commits to master branch, last one about a month ago
47
300
mit
13
A comprehensive self-management System
Created 2018-07-29
2,799 commits to release branch, last one 28 days ago
Release with confidence, state-of-the-art property testing for .NET.
Created 2016-10-05
759 commits to master branch, last one 13 days ago
17
276
apache-2.0
6
Fixtures for Kotlin providing generated values for unit testing
Created 2019-09-16
132 commits to main branch, last one 11 months ago
23
202
mit
3
property testing and verification front-end for Rust
Created 2019-09-06
240 commits to master branch, last one 9 days 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
28
148
lgpl-3.0
7
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Created 2015-11-30
1,070 commits to master branch, last one 3 days 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 about a month ago
Property Testing library in Ruby
Created 2019-06-19
271 commits to main branch, last one about a month ago
0
74
bsd-3-clause
11
refine properties for testing Haskell programs
Created 2015-06-19
791 commits to master branch, last one 2 months ago
An overview of property-based testing functionality
Created 2021-03-31
76 commits to main branch, last one 4 days ago
12
55
unknown
5
To probe what we can't prove, so the unprovable may become probable; testing for Scala
Created 2017-10-23
638 commits to main branch, last one 2 months ago
enumerative property-based testing for Haskell
Created 2015-06-19
1,228 commits to master branch, last one 2 months ago
PBT testsuite and libraries for testing multicore OCaml
Created 2021-10-08
1,838 commits to main branch, last one a day ago