c-cube / qcheckLinks
QuickCheck inspired property-based testing for OCaml.
☆380Updated 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☆497Updated last month
- OCaml graph library☆242Updated 2 months ago
- An OCaml lexer generator for Unicode☆260Updated 2 months ago
- Low-level JSON parsing and pretty-printing library for OCaml☆351Updated 3 weeks ago
- Code coverage for OCaml and ReScript☆312Updated 2 weeks ago
- Base library and tools for ppx rewriters☆272Updated 3 weeks ago
- A lightweight and colourful test framework☆485Updated 5 months ago
- Design discussions about the OCaml language☆165Updated 6 months ago
- Parallel Programming over Domains☆179Updated 4 months ago
- Documentation compiler for OCaml and Reason☆336Updated 2 weeks ago
- Declarative definition of command line interfaces for OCaml☆320Updated 2 weeks ago
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆508Updated last month
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆247Updated 7 months ago
- Library for binding to C libraries using pure OCaml☆397Updated 2 months ago
- Lock-free data structures for multicore OCaml☆253Updated 3 months ago
- Cram like framework for OCaml☆169Updated 2 weeks ago
- Formal verification for OCaml☆266Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- A Web Application for Learning OCaml☆314Updated 2 months ago
- OCaml debug adapter☆215Updated last week
- Visual Studio Code extension for OCaml☆364Updated last week
- OCaml version of Category Theory For Programmers☆134Updated 5 years ago
- Cooperative-threaded access to relational data☆332Updated 2 months ago
- GitHub Action for the OCaml programming language☆217Updated this week
- 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 4 months ago
- Effects-based direct-style IO for multicore OCaml☆631Updated this week
- Parser combinators built for speed and memory efficiency☆687Updated 11 months ago
- A style guide for OCaml☆111Updated last year
- Auto-formatter for OCaml code☆680Updated 2 months ago
- Documentation of everything relevant in the OCaml world☆188Updated 2 weeks ago