c-cube / qcheckLinks
QuickCheck inspired property-based testing for OCaml.
☆383Updated 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☆503Updated 3 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆357Updated 2 months ago
- Code coverage for OCaml and ReScript☆314Updated 2 weeks ago
- An OCaml lexer generator for Unicode☆261Updated 3 weeks ago
- Design discussions about the OCaml language☆170Updated 8 months ago
- OCaml graph library☆243Updated 3 weeks ago
- Declarative definition of command line interfaces for OCaml☆328Updated last week
- Base library and tools for ppx rewriters☆275Updated this week
- Documentation compiler for OCaml and Reason☆341Updated last week
- Parallel Programming over Domains☆179Updated 6 months ago
- Formal verification for OCaml☆268Updated last year
- Library for binding to C libraries using pure OCaml☆397Updated last month
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆511Updated 3 months ago
- A lightweight and colourful test framework☆493Updated last week
- A hands-on tutorial on the new parallelism features in OCaml 5☆212Updated last year
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆252Updated 9 months ago
- OCaml debug adapter☆220Updated last month
- Cram like framework for OCaml☆175Updated 2 weeks ago
- Lock-free data structures for multicore OCaml☆253Updated 5 months ago
- GitHub Action for the OCaml programming language☆218Updated this week
- Terminal manipulation library for OCaml☆224Updated last month
- Visual Studio Code extension for OCaml☆369Updated this week
- Parser combinators built for speed and memory efficiency☆692Updated last year
- 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…☆195Updated 6 months ago
- A Web Application for Learning OCaml☆320Updated last week
- A tool-agnostic formal specification language for OCaml.☆150Updated this week
- Cooperative-threaded access to relational data☆337Updated last week
- Syntax extension for writing in-line tests in ocaml code☆141Updated 3 weeks ago
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆148Updated 8 months ago