QuickCheck inspired property-based testing for OCaml.
☆400May 6, 2026Updated 2 weeks ago
Alternatives and similar repositories for qcheck
Users that are interested in qcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lightweight and colourful test framework☆508Dec 18, 2025Updated 5 months ago
- Base library and tools for ppx rewriters☆295May 6, 2026Updated 2 weeks ago
- Property fuzzing for OCaml☆202Nov 18, 2025Updated 6 months ago
- Code coverage for OCaml and ReScript☆318Oct 12, 2025Updated 7 months ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆522Apr 24, 2026Updated 3 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Execute code blocks inside your documentation☆290Mar 23, 2026Updated last month
- Cooperative-threaded access to relational data☆352May 8, 2026Updated last week
- Documentation compiler for OCaml☆355May 14, 2026Updated last week
- Lock-free data structures for multicore OCaml☆267May 23, 2025Updated 11 months ago
- Browser programming toolkit for OCaml☆114Jan 31, 2026Updated 3 months ago
- Parser combinators built for speed and memory efficiency☆710Sep 12, 2024Updated last year
- OCaml debug adapter☆236Apr 25, 2026Updated 3 weeks ago
- Property-based testing at ease☆42Aug 15, 2021Updated 4 years ago
- A Simple Profiling Library for OCaml☆142May 12, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆125Feb 5, 2025Updated last year
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆153Mar 26, 2026Updated last month
- Type-driven code generation for OCaml☆516Feb 11, 2026Updated 3 months ago
- A simple state-machine framework for OCaml based on QCheck☆67Sep 24, 2021Updated 4 years ago
- Cram like framework for OCaml☆187Updated this week
- Fast, safe mutable dynamic arrays for OCaml☆29Jan 18, 2024Updated 2 years ago
- Serialization library built for speed and memory efficiency☆144Oct 13, 2022Updated 3 years ago
- Lightweight document☆156Apr 30, 2026Updated 2 weeks ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆62May 6, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Parallel Programming over Domains☆188Dec 18, 2025Updated 5 months ago
- OCaml Language Server Protocol implementation☆895May 10, 2026Updated last week
- Progress bar library for OCaml☆145Sep 25, 2025Updated 7 months ago
- Pretty printing library☆56Nov 14, 2024Updated last year
- Effects-based direct-style IO for multicore OCaml☆692Updated this week
- OCaml promises and concurrent I/O☆786May 12, 2026Updated last week
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆456Mar 20, 2026Updated 2 months ago
- OCaml extensions in Rust☆290Feb 10, 2026Updated 3 months ago
- GitHub Action for the OCaml programming language☆227Apr 16, 2026Updated last month
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- [beta] High-level wrapper around ocaml-sqlite3☆19Apr 28, 2022Updated 4 years ago
- A tool-agnostic formal specification language for OCaml.☆159May 12, 2026Updated last week
- Cross-platform asynchronous I/O and system calls☆291Sep 5, 2024Updated last year
- Auto-formatter for OCaml code☆716Apr 30, 2026Updated 3 weeks ago
- Assemble dune workspaces to build your project and its dependencies as a whole☆134Mar 3, 2026Updated 2 months ago
- Agnostic benchmark in OCaml (proof-of-concept)☆43Apr 16, 2026Updated last month
- Declarative definition of command line interfaces for OCaml☆337May 6, 2026Updated 2 weeks ago