c-cube / qcheck
QuickCheck inspired property-based testing for OCaml.
☆368Updated this week
Alternatives and similar repositories for qcheck:
Users that are interested in qcheck are comparing it to the libraries listed below
- Type-driven code generation for OCaml☆478Updated last month
- Low-level JSON parsing and pretty-printing library for OCaml☆335Updated 8 months ago
- Base library and tools for ppx rewriters☆260Updated last week
- OCaml graph library☆236Updated last week
- Documentation compiler for OCaml and Reason☆330Updated this week
- A lightweight and colourful test framework☆471Updated last month
- An OCaml lexer generator for Unicode☆249Updated this week
- Declarative definition of command line interfaces for OCaml☆301Updated this week
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆495Updated last month
- Code coverage for OCaml and ReScript☆306Updated 3 months ago
- Parallel Programming over Domains☆173Updated last year
- Design discussions about the OCaml language☆156Updated 3 weeks ago
- Lock-free data structures for multicore OCaml☆238Updated 2 months ago
- Static types for JSON APIs☆322Updated this week
- drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with…☆183Updated 6 months ago
- GitHub Action for the OCaml programming language☆207Updated this week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆238Updated last month
- OCaml debug adapter☆209Updated 3 weeks ago
- Syntax extension for writing in-line tests in ocaml code☆131Updated 3 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated 11 months ago
- Library for binding to C libraries using pure OCaml☆381Updated last month
- A CI for OCaml projects☆112Updated last month
- Parser combinators built for speed and memory efficiency☆670Updated 5 months ago
- Cooperative-threaded access to relational data☆313Updated last week
- Simple template for midsize OCaml project☆124Updated last month
- Terminal manipulation library for OCaml☆213Updated 7 months ago
- A style guide for OCaml☆107Updated last year
- Property fuzzing for OCaml☆188Updated last year
- A Simple Profiling Library for OCaml☆131Updated last month
- Formal verification for OCaml☆257Updated 7 months ago