qcheck

Here are 6 public repositories matching this topic...

A template repo demonstrating OCaml tooling and testing

ocaml dune alcotest qcheck ppx-expect

PBT workshop in ReasonML

workshop property-based-testing reasonml esy rely qcheck

Functional limit order book and trading primitives in OCaml — ADTs, functors, QCheck property tests

A collection of property based tests and test vectors for the interpreter project administered in BU CS 320 (Fall 2020).

ocaml qcheck

A functional reactive trading simulator built in OCaml.

Parallel lock-free Union-Find in OCaml 5 with CAS path splitting and linearizability verification.

ocaml concurrency data-structures lock-free multi-core linearizability qcheck

To associate your repository with the qcheck topic, visit your repo's landing page and select "manage topics."