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
- Low-level JSON parsing and pretty-printing library for OCaml☆339Updated last week
- Type-driven code generation for OCaml☆480Updated 3 weeks ago
- OCaml graph library☆235Updated last month
- Base library and tools for ppx rewriters☆260Updated last week
- An OCaml lexer generator for Unicode☆250Updated last week
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆498Updated 2 months ago
- Declarative definition of command line interfaces for OCaml☆304Updated this week
- Code coverage for OCaml and ReScript☆307Updated 4 months ago
- A lightweight and colourful test framework☆474Updated 3 weeks ago
- Design discussions about the OCaml language☆157Updated last month
- Parallel Programming over Domains☆175Updated last year
- Documentation compiler for OCaml and Reason☆330Updated 3 weeks ago
- Library for binding to C libraries using pure OCaml☆382Updated 2 months ago
- Formal verification for OCaml☆256Updated 8 months ago
- A style guide for OCaml☆107Updated last year
- Cooperative-threaded access to relational data☆317Updated last week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆241Updated 2 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated last year
- OCaml debug adapter☆210Updated last month
- Cram like framework for OCaml☆156Updated 4 months ago
- Lock-free data structures for multicore OCaml☆242Updated 3 months ago
- Terminal manipulation library for OCaml☆214Updated 8 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…☆183Updated last week
- GitHub Action for the OCaml programming language☆209Updated this week
- Syntax extension for writing in-line tests in ocaml code☆131Updated 4 months ago
- Pure OCaml regular expressions, with support for Perl and POSIX-style strings☆236Updated last week
- A Simple Profiling Library for OCaml☆132Updated 2 months ago
- Tutorial on Multicore OCaml parallel programming with domainslib☆288Updated last year
- A Protobuf Compiler for OCaml☆181Updated 6 months ago
- OCaml version of Category Theory For Programmers☆131Updated 5 years ago