Alternatives and similar repositories for qcheck

Users that are interested in qcheck are comparing it to the libraries listed below

• ocaml-ppx / ppx_deriving
  Type-driven code generation for OCaml
  ☆499Updated last month
• aantron / bisect_ppx
  Code coverage for OCaml and ReScript
  ☆312Updated last month
• ocaml-community / yojson
  Low-level JSON parsing and pretty-printing library for OCaml
  ☆355Updated last month
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆165Updated 7 months ago
• ocaml-community / sedlex
  An OCaml lexer generator for Unicode
  ☆262Updated this week
• ocaml-ppx / ppxlib
  Base library and tools for ppx rewriters
  ☆273Updated this week
• backtracking / ocamlgraph
  OCaml graph library
  ☆241Updated 3 months ago
• ocaml / odoc
  Documentation compiler for OCaml and Reason
  ☆338Updated 2 weeks ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆490Updated last week
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆179Updated 5 months ago
• dbuenzli / cmdliner
  Declarative definition of command line interfaces for OCaml
  ☆322Updated last month
• janestreet / ppx_expect
  Cram like framework for OCaml
  ☆172Updated 2 weeks ago
• ocaml / Zarith
  The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…
  ☆249Updated 8 months ago
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆508Updated 2 months ago
• formal-land / coq-of-ocaml
  Formal verification for OCaml
  ☆266Updated last year
• yallop / ocaml-ctypes
  Library for binding to C libraries using pure OCaml
  ☆397Updated 2 weeks ago
• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆253Updated 3 months ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆208Updated last year
• hackwaly / ocamlearlybird
  OCaml debug adapter
  ☆219Updated 2 weeks ago
• ocaml-sf / learn-ocaml
  A Web Application for Learning OCaml
  ☆316Updated this week
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆690Updated last year
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆145Updated 6 months ago
• lindig / ocaml-style
  A style guide for OCaml
  ☆111Updated last year
• OCamlPro / drom
  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…
  ☆194Updated 5 months ago
• ocamllabs / vscode-ocaml-platform
  Visual Studio Code extension for OCaml
  ☆367Updated this week
• paurkedal / ocaml-caqti
  Cooperative-threaded access to relational data
  ☆332Updated 2 months ago
• janestreet / ppx_inline_test
  Syntax extension for writing in-line tests in ocaml code
  ☆140Updated 2 weeks ago
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆134Updated 5 years ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆146Updated this week
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆114Updated last month