The property-based testing library for Python
Property based testing framework for JavaScript (like QuickCheck) written in TypeScript
Catch API bugs before your users do
Functional programming in Java
Property-based testing, JUnit-style
Data generation and property-based testing for Elixir. 🔮
A unit test-like interface for fuzzing and symbolic execution
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!
JQF + Zest: Coverage-guided semantic fuzzing for Java.
Release with confidence, state-of-the-art property testing for Haskell.
Rapid is a modern Go property-based testing library
TypeCheck: Fast and flexible runtime type-checking for your Elixir projects.
Property based testing for Java 8
Modular, structure-aware, and feedback-driven fuzzing engine for Rust functions
QuickCheck inspired property-based testing for OCaml.