c-cube / qcheckLinks
QuickCheck inspired property-based testing for OCaml.
☆374Updated last month
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☆488Updated 2 months ago
- Code coverage for OCaml and ReScript☆309Updated 6 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆345Updated this week
- An OCaml lexer generator for Unicode☆253Updated this week
- Base library and tools for ppx rewriters☆267Updated last week
- OCaml graph library☆237Updated this week
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆502Updated last week
- A lightweight and colourful test framework☆478Updated 2 months ago
- Design discussions about the OCaml language☆161Updated 3 months ago
- Documentation compiler for OCaml and Reason☆330Updated 2 weeks ago
- Declarative definition of command line interfaces for OCaml☆308Updated last month
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 4 months ago
- Parallel Programming over Domains☆177Updated last month
- Terminal manipulation library for OCaml☆217Updated 9 months ago
- Library for binding to C libraries using pure OCaml☆391Updated last week
- A style guide for OCaml☆109Updated last year
- Cooperative-threaded access to relational data☆325Updated last week
- Simple template for midsize OCaml project☆125Updated 4 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…☆187Updated 2 months ago
- Syntax extension for writing in-line tests in ocaml code☆134Updated this week
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- Cram like framework for OCaml☆164Updated this week
- GitHub Action for the OCaml programming language☆211Updated this week
- Lock-free data structures for multicore OCaml☆244Updated last week
- Nice parsers in OCaml without the boilerplate☆125Updated last year
- OCaml debug adapter☆211Updated 3 months ago
- Documentation of everything relevant in the OCaml world☆184Updated this week
- A Protobuf Compiler for OCaml☆182Updated 8 months ago
- Formal verification for OCaml☆263Updated 9 months ago
- OCaml bindings to the SQLite3 database☆121Updated 2 months ago