19 results found Sort:
- Filter by Primary Language:
- Haskell (5)
- Scala (3)
- Kotlin (2)
- F# (1)
- Go (1)
- D (1)
- OCaml (1)
- Python (1)
- Ruby (1)
- Elixir (1)
- C (1)
- +
Powerful, elegant and flexible test framework for Kotlin with assertions, property testing and data driven tests.
Created
2015-11-29
5,204 commits to master branch, last one 2 days ago
Property-based testing for Scala
Created
2011-05-26
2,172 commits to main branch, last one 2 days ago
Data generation and property-based testing for Elixir. 🔮
Created
2017-05-10
351 commits to main branch, last one 6 days ago
Release with confidence, state-of-the-art property testing for Haskell.
Created
2017-03-15
525 commits to master branch, last one 2 months ago
Rapid is a modern Go property-based testing library
Created
2019-01-07
397 commits to master branch, last one a day ago
A comprehensive self-management System
Created
2018-07-29
2,754 commits to release branch, last one 5 months 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
Fixtures for Kotlin providing generated values for unit testing
Created
2019-09-16
132 commits to main branch, last one 5 months ago
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
property testing and verification front-end for Rust
Created
2019-09-06
220 commits to master branch, last one 17 days ago
Sismic Interactive Statechart Model Interpreter and Checker http://sismic.readthedocs.io/
Created
2015-11-30
1,062 commits to master branch, last one 18 days ago
Test your Haskell code by exhaustively checking its properties
Created
2011-11-17
316 commits to master branch, last one about a year ago
Advanced unit test framework for D
Created
2013-07-07
1,367 commits to master branch, last one 3 months ago
Property Testing library in Ruby
Created
2019-06-19
259 commits to main branch, last one 8 months ago
refine properties for testing Haskell programs
Created
2015-06-19
788 commits to master branch, last one 9 months ago
To probe what we can't prove, so the unprovable may become probable; testing for Scala
Created
2017-10-23
574 commits to main branch, last one 15 days ago
An overview of property-based testing functionality
Created
2021-03-31
51 commits to main branch, last one 5 months ago
enumerative property-based testing for Haskell
Created
2015-06-19
1,226 commits to master branch, last one 2 months ago
PBT testsuite and libraries for testing multicore OCaml
Created
2021-10-08
1,587 commits to main branch, last one 5 days ago