19 results found Sort:

652
4.5k
apache-2.0
54
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Created 2015-11-29
5,368 commits to master branch, last one 3 days ago
408
1.9k
bsd-3-clause
57
Property-based testing for Scala
Created 2011-05-26
2,198 commits to main branch, last one 12 days ago
Data generation and property-based testing for Elixir. 🔮
Created 2017-05-10
355 commits to main branch, last one 4 days ago
Release with confidence, state-of-the-art property testing for Haskell.
Created 2017-03-15
528 commits to master branch, last one about a month ago
25
614
mpl-2.0
7
Rapid is a modern Go property-based testing library
Created 2019-01-07
397 commits to master branch, last one 3 months ago
47
298
mit
15
A comprehensive self-management System
Created 2018-07-29
2,788 commits to release branch, last one 26 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
17
273
apache-2.0
6
Fixtures for Kotlin providing generated values for unit testing
Created 2019-09-16
132 commits to main branch, last one 8 months ago
17
196
mit
4
property testing and verification front-end for Rust
Created 2019-09-06
228 commits to master branch, last one 2 months 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
27
146
lgpl-3.0
8
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Created 2015-11-30
1,065 commits to master branch, last one 7 days 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
Property Testing library in Ruby
Created 2019-06-19
259 commits to main branch, last one 11 months ago
0
74
bsd-3-clause
12
refine properties for testing Haskell programs
Created 2015-06-19
791 commits to master branch, last one 11 days ago
An overview of property-based testing functionality
Created 2021-03-31
72 commits to main branch, last one 5 days ago
12
55
unknown
6
To probe what we can't prove, so the unprovable may become probable; testing for Scala
Created 2017-10-23
634 commits to main branch, last one 15 days ago
enumerative property-based testing for Haskell
Created 2015-06-19
1,228 commits to master branch, last one 11 days ago
PBT testsuite and libraries for testing multicore OCaml
Created 2021-10-08
1,763 commits to main branch, last one 6 days ago