c-cube / qcheck
QuickCheck inspired property-based testing for OCaml.
☆347Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for qcheck
- Type-driven code generation for OCaml☆465Updated last month
- Low-level JSON parsing and pretty-printing library for OCaml☆328Updated 4 months ago
- Documentation compiler for OCaml and Reason☆321Updated this week
- Code coverage for OCaml and ReScript☆301Updated this week
- An OCaml lexer generator for Unicode☆240Updated 2 weeks ago
- Declarative definition of command line interfaces for OCaml☆296Updated 5 months ago
- Base library and tools for ppx rewriters☆246Updated last week
- OCaml graph library☆233Updated last week
- Design discussions about the OCaml language☆148Updated last month
- A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.☆492Updated this week
- Parallel Programming over Domains☆172Updated 8 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆231Updated last month
- A lightweight and colourful test framework☆455Updated last month
- Cooperative-threaded access to relational data☆311Updated 3 weeks ago
- Cram like framework for OCaml☆145Updated last week
- Terminal manipulation library for OCaml☆209Updated 3 months ago
- Syntax extension for writing in-line tests in ocaml code☆129Updated last week
- A hands-on tutorial on the new parallelism features in OCaml 5☆202Updated 8 months ago
- Property fuzzing for OCaml☆183Updated last year
- Formal verification for OCaml☆255Updated 3 months ago
- GitHub Action for the OCaml programming language☆197Updated 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…☆184Updated 2 months ago
- A CI for OCaml projects☆112Updated this week
- Declarative terminal graphics for OCaml☆351Updated 7 months ago
- Lock-free data structures for multicore OCaml☆203Updated this week
- Library for binding to C libraries using pure OCaml☆371Updated 3 months ago
- Self-contained monadic parser combinators for OCaml☆146Updated last year
- A tool-agnostic formal specification language for OCaml.☆128Updated this week
- Tools for authors of ppx rewriters☆134Updated last year
- A style guide for OCaml☆104Updated 11 months ago