c-cube / qcheckLinks
QuickCheck inspired property-based testing for OCaml.
☆380Updated 3 weeks ago
Alternatives and similar repositories for qcheck
Users that are interested in qcheck are comparing it to the libraries listed below
Sorting:
- Type-driven code generation for OCaml☆495Updated 2 weeks ago
- Code coverage for OCaml and ReScript☆312Updated 8 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆350Updated this week
- Parallel Programming over Domains☆178Updated 3 months ago
- Base library and tools for ppx rewriters☆272Updated 3 weeks ago
- OCaml graph library☆241Updated last month
- A lightweight and colourful test framework☆484Updated 4 months ago
- Design discussions about the OCaml language☆165Updated 5 months ago
- An OCaml lexer generator for Unicode☆259Updated 2 months ago
- Declarative definition of command line interfaces for OCaml☆318Updated last week
- Documentation compiler for OCaml and Reason☆335Updated last week
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆505Updated 3 weeks ago
- Formal verification for OCaml☆266Updated last year
- Lock-free data structures for multicore OCaml☆252Updated 2 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆244Updated 6 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- Cram like framework for OCaml☆170Updated last month
- A Web Application for Learning OCaml☆314Updated last month
- Library for binding to C libraries using pure OCaml☆394Updated last month
- GitHub Action for the OCaml programming language☆214Updated this week
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- Documentation of everything relevant in the OCaml world☆188Updated 2 weeks ago
- OCaml debug adapter☆213Updated 5 months ago
- 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…☆190Updated 4 months ago
- Syntax extension for writing in-line tests in ocaml code☆136Updated last month
- Parser combinators built for speed and memory efficiency☆684Updated 10 months ago
- Cooperative-threaded access to relational data☆333Updated last month
- Effects-based direct-style IO for multicore OCaml☆624Updated 2 weeks ago
- Terminal manipulation library for OCaml☆220Updated last month
- A style guide for OCaml☆110Updated last year