c-cube / qcheckLinks
QuickCheck inspired property-based testing for OCaml.
☆376Updated this week
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☆493Updated 3 weeks ago
- OCaml graph library☆238Updated 3 weeks ago
- Low-level JSON parsing and pretty-printing library for OCaml☆350Updated 3 weeks ago
- Code coverage for OCaml and ReScript☆310Updated 7 months ago
- An OCaml lexer generator for Unicode☆257Updated last month
- Base library and tools for ppx rewriters☆270Updated last week
- Design discussions about the OCaml language☆163Updated 5 months ago
- A lightweight and colourful test framework☆482Updated 3 months ago
- Declarative definition of command line interfaces for OCaml☆318Updated this week
- Cram like framework for OCaml☆168Updated last month
- Library for binding to C libraries using pure OCaml☆393Updated last month
- Documentation compiler for OCaml and Reason☆333Updated this week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆244Updated 5 months ago
- Parallel Programming over Domains☆177Updated 3 months ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆505Updated last month
- Formal verification for OCaml☆265Updated 11 months ago
- Lock-free data structures for multicore OCaml☆248Updated last month
- OCaml debug adapter☆211Updated 5 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- A Web Application for Learning OCaml☆314Updated last month
- GitHub Action for the OCaml programming language☆212Updated this week
- A style guide for OCaml☆109Updated last year
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆143Updated 4 months ago
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- Self-contained monadic parser combinators for OCaml☆149Updated last year
- Documentation of everything relevant in the OCaml world☆187Updated last week
- Terminal manipulation library for OCaml☆218Updated last week
- Parser combinators built for speed and memory efficiency☆681Updated 10 months ago
- Cooperative-threaded access to relational data☆331Updated 2 weeks 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 3 months ago