QcstmA simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (-1.96%)
Check ItRandomized specification-based testing for Common Lisp. Available through Quicklisp.
Stars: ✭ 41 (-19.61%)
FscheckRandom Testing for .NET
Stars: ✭ 855 (+1576.47%)
Stream dataData generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+1070.59%)
Haskell HedgehogRelease with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+1045.1%)
TastyModern and extensible testing framework for Haskell
Stars: ✭ 499 (+878.43%)
QuicktheoriesProperty based testing for Java 8
Stars: ✭ 483 (+847.06%)
JqfJQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: ✭ 340 (+566.67%)
JqwikProperty-Based Testing on the JUnit Platform
Stars: ✭ 265 (+419.61%)
ke-e假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.
Stars: ✭ 25 (-50.98%)
lplzooFine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-37.25%)
haskell-schemaA library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Stars: ✭ 16 (-68.63%)
eddErlang Declarative Debugger
Stars: ✭ 20 (-60.78%)
pbt-frameworksAn overview of property-based testing functionality
Stars: ✭ 29 (-43.14%)
kitimatA library for generative, property-based testing in TypeScript and Jest.
Stars: ✭ 68 (+33.33%)
efftesterEffect-Driven Compiler Tester for OCaml
Stars: ✭ 37 (-27.45%)
ava-fast-checkProperty based testing for AVA based on fast-check
Stars: ✭ 44 (-13.73%)
fuzz-rest-apiDerive property based testing fast-check into a fuzzer for REST APIs
Stars: ✭ 38 (-25.49%)
quick.pyProperty-based testing library for Python
Stars: ✭ 15 (-70.59%)
quickcheckRandomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-64.71%)
RantlyRuby Imperative Random Data Generator and Quickcheck
Stars: ✭ 241 (+372.55%)
Fsharp HedgehogRelease with confidence, state-of-the-art property testing for .NET.
Stars: ✭ 219 (+329.41%)
RapidRapid is a Go library for property-based testing that supports state machine ("stateful" or "model-based") testing and fully automatic test case minimization ("shrinking")
Stars: ✭ 213 (+317.65%)
QcheckQuickCheck inspired property-based testing for OCaml.
Stars: ✭ 194 (+280.39%)
Fast CheckProperty based testing framework for JavaScript (like QuickCheck) written in TypeScript
Stars: ✭ 2,604 (+5005.88%)
SwiftcheckQuickCheck for Swift
Stars: ✭ 1,319 (+2486.27%)