Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 10 Ocaml Quickcheck Open Source Projects

Open source projects categorized as Ocaml Quickcheck
Qcheck ⭐ 323
QuickCheck inspired property-based testing for OCaml.
most recent commit 5 months ago
Crowbar ⭐ 174
Property fuzzing for OCaml
most recent commit 10 months ago
Qcstm ⭐ 54
A simple state-machine framework for OCaml based on QCheck
most recent commit 3 years ago
Regenerate ⭐ 28
Tool to generate test-cases for regular expression engines
most recent commit a year ago
Efftester ⭐ 26
Effect-Driven Compiler Tester for OCaml
most recent commit 5 years ago
Wasm Prop Tester ⭐ 15
A stack-driven generator of arbitrary WebAssembly programs
most recent commit 3 years ago
Ocaml Afl Examples ⭐ 14
Small examples of how to use AFL to fuzz OCaml programs
most recent commit 5 years ago
Ocaml Quickcheck ⭐ 11
A mechanical translation of the Haskell QuickCheck library into Ocaml
most recent commit 15 years ago
Qc Ptrees ⭐ 7
A model-based QuickCheck test of ptrees (Patricia trees)
most recent commit 5 years ago
Model_quickcheck ⭐ 6
Model_quickcheck: Model-based testing for imperative OCaml code
most recent commit 4 years ago
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.