All Projects → Propcheck → Similar Projects or Alternatives

30 Open source projects that are alternatives of or similar to Propcheck

Qcstm
A simple state-machine framework for OCaml based on QCheck
Stars: ✭ 50 (-1.96%)
Mutual labels:  quickcheck
Quick check.js
A JS implementation of quick_check
Stars: ✭ 48 (-5.88%)
Mutual labels:  quickcheck
Check It
Randomized specification-based testing for Common Lisp. Available through Quicklisp.
Stars: ✭ 41 (-19.61%)
Mutual labels:  quickcheck
Fscheck
Random Testing for .NET
Stars: ✭ 855 (+1576.47%)
Mutual labels:  quickcheck
Junit Quickcheck
Property-based testing, JUnit-style
Stars: ✭ 821 (+1509.8%)
Mutual labels:  quickcheck
Stream data
Data generation and property-based testing for Elixir. 🔮
Stars: ✭ 597 (+1070.59%)
Mutual labels:  quickcheck
Haskell Hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
Stars: ✭ 584 (+1045.1%)
Mutual labels:  quickcheck
Tasty
Modern and extensible testing framework for Haskell
Stars: ✭ 499 (+878.43%)
Mutual labels:  quickcheck
Quicktheories
Property based testing for Java 8
Stars: ✭ 483 (+847.06%)
Mutual labels:  quickcheck
Jqf
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Stars: ✭ 340 (+566.67%)
Mutual labels:  quickcheck
Jqwik
Property-Based Testing on the JUnit Platform
Stars: ✭ 265 (+419.61%)
Mutual labels:  quickcheck
ke-e
假的 (ké--ê) is a property-based testing library, inspired by QuickCheck, Hypothesis, JSVerify and faker.js.
Stars: ✭ 25 (-50.98%)
Mutual labels:  quickcheck
lplzoo
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
Stars: ✭ 32 (-37.25%)
Mutual labels:  quickcheck
haskell-schema
A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.
Stars: ✭ 16 (-68.63%)
Mutual labels:  quickcheck
edd
Erlang Declarative Debugger
Stars: ✭ 20 (-60.78%)
Mutual labels:  quickcheck
pbt-frameworks
An overview of property-based testing functionality
Stars: ✭ 29 (-43.14%)
Mutual labels:  quickcheck
hypothesis sqlalchemy
hypothesis strategies for generating SQLAlchemy objects
Stars: ✭ 24 (-52.94%)
Mutual labels:  quickcheck
kitimat
A library for generative, property-based testing in TypeScript and Jest.
Stars: ✭ 68 (+33.33%)
Mutual labels:  quickcheck
efftester
Effect-Driven Compiler Tester for OCaml
Stars: ✭ 37 (-27.45%)
Mutual labels:  quickcheck
ava-fast-check
Property based testing for AVA based on fast-check
Stars: ✭ 44 (-13.73%)
Mutual labels:  quickcheck
fuzz-rest-api
Derive property based testing fast-check into a fuzzer for REST APIs
Stars: ✭ 38 (-25.49%)
Mutual labels:  quickcheck
quick.py
Property-based testing library for Python
Stars: ✭ 15 (-70.59%)
Mutual labels:  quickcheck
quickcheck
Randomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-64.71%)
Mutual labels:  quickcheck
Rantly
Ruby Imperative Random Data Generator and Quickcheck
Stars: ✭ 241 (+372.55%)
Mutual labels:  quickcheck
Fsharp Hedgehog
Release with confidence, state-of-the-art property testing for .NET.
Stars: ✭ 219 (+329.41%)
Mutual labels:  quickcheck
Rapid
Rapid 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%)
Mutual labels:  quickcheck
Qcheck
QuickCheck inspired property-based testing for OCaml.
Stars: ✭ 194 (+280.39%)
Mutual labels:  quickcheck
Quickcheck State Machine
Test monadic programs using state machine based models
Stars: ✭ 192 (+276.47%)
Mutual labels:  quickcheck
Fast Check
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Stars: ✭ 2,604 (+5005.88%)
Mutual labels:  quickcheck
Swiftcheck
QuickCheck for Swift
Stars: ✭ 1,319 (+2486.27%)
Mutual labels:  quickcheck
1-30 of 30 similar projects