QuickCheck inspired property-based testing for OCaml.
☆405Jun 22, 2026Updated last week
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☆511Jun 22, 2026Updated last week
- Base library and tools for ppx rewriters☆298Jun 22, 2026Updated last week
- Property fuzzing for OCaml☆203Nov 18, 2025Updated 7 months ago
- Code coverage for OCaml and ReScript☆319Oct 12, 2025Updated 8 months ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆523Jun 14, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Execute code blocks inside your documentation☆291Mar 23, 2026Updated 3 months ago
- Cooperative-threaded access to relational data☆352Updated this week
- Documentation compiler for OCaml☆355Jun 22, 2026Updated last week
- Lock-free data structures for multicore OCaml☆266May 23, 2025Updated last year
- Browser programming toolkit for OCaml☆116Jan 31, 2026Updated 5 months ago
- Parser combinators built for speed and memory efficiency☆708Sep 12, 2024Updated last year
- OCaml debug adapter☆236Apr 25, 2026Updated 2 months ago
- Property-based testing at ease☆42Aug 15, 2021Updated 4 years ago
- A Simple Profiling Library for OCaml☆144Jun 19, 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.☆126Jun 4, 2026Updated 3 weeks ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆155Jun 17, 2026Updated last week
- Type-driven code generation for OCaml☆519Feb 11, 2026Updated 4 months ago
- A simple state-machine framework for OCaml based on QCheck☆67Sep 24, 2021Updated 4 years ago
- Cram like framework for OCaml☆191May 18, 2026Updated last month
- 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☆157Apr 30, 2026Updated 2 months ago
- Show the internal dependencies in your OCaml/Reason/Dune project☆62May 6, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Parallel Programming over Domains☆188Dec 18, 2025Updated 6 months ago
- Pretty printing library☆56Nov 14, 2024Updated last year
- OCaml Language Server Protocol implementation☆908Jun 23, 2026Updated last week
- OCaml promises and concurrent I/O☆792Updated this week
- Effects-based direct-style IO for multicore OCaml☆701Updated this week
- Progress bar library for OCaml☆148Sep 25, 2025Updated 9 months ago
- Examples to illustrate the use of algebraic effects in Multicore OCaml☆456Mar 20, 2026Updated 3 months ago
- OCaml extensions in Rust☆292Feb 10, 2026Updated 4 months ago
- GitHub Action for the OCaml programming language☆227Jun 22, 2026Updated last week
- 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.
- [beta] High-level wrapper around ocaml-sqlite3☆19Apr 28, 2022Updated 4 years ago
- Cross-platform asynchronous I/O and system calls☆290Sep 5, 2024Updated last year
- Assemble dune workspaces to build your project and its dependencies as a whole☆134Mar 3, 2026Updated 3 months ago
- Agnostic benchmark in OCaml (proof-of-concept)☆43Apr 16, 2026Updated 2 months ago
- Auto-formatter for OCaml code☆722May 26, 2026Updated last month
- A tool-agnostic formal specification language for OCaml.☆161Jun 2, 2026Updated 3 weeks ago
- Declarative definition of command line interfaces for OCaml☆342Jun 9, 2026Updated 3 weeks ago