qcheck
by c-cube
QuickCheck inspired property-based testing for OCaml.
AI summary
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
- stars
- 354
- forks
- 37
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Testing library
A C# random testing library with generators and shrinkers for property-based testing of .NET code.
Property tester
A Coq plugin for property-based testing of software systems
OCaml library
A modular standard library extension and string library for OCaml
Property tester
Randomized testing of program properties in Prolog
Test suite generator
A simple unit testing framework for OCaml
Property tester
Automated testing of program properties in Haskell programs.
fscheck/fscheck1.2K
Property tester
Automatically tests .NET programs by generating random test cases based on predefined properties
Property tester
A C++17 testing library for property-based testing using QuickCheck or SmallCheck.
C crypto library
A comprehensive C library of cryptographic primitives for building secure protocols in OCaml applications.
Unit test library
A C library for writing unit tests.
C binding library
A library that enables writing C extensions in OCaml without generating or writing C code.
Property tester
A testing library that checks Haskell code properties exhaustively using automatic test case generation
OCaml-QtQuick binder
A binding for OCaml to interface with QtQuick/Qt
Testing library
A testing library for Elixir programming language
onqtam/rcrl413
C compiler engine
An interactive C++ compiler and runtime environment for rapid development and live coding
Featured in 1 awesome list
Each link jumps to the spot where the list mentions qcheck.
