Jan Midtgaard jmid

Hacks on FP and property-based testing. Former academic. Private account, not representing my employer.

Achievements

c-cube/qcheck c-cube/qcheck Public

QuickCheck inspired property-based testing for OCaml.

OCaml 410 47
mutaml mutaml Public

An OCaml mutation tester

OCaml 75 5
ocaml-multicore/multicoretests ocaml-multicore/multicoretests Public

PBT testsuite and libraries for testing multicore OCaml

OCaml 47 17
pbt-frameworks pbt-frameworks Public

An overview of property-based testing functionality

93 5
efftester efftester Public

Effect-Driven Compiler Tester for OCaml

OCaml 40 6
wasm-prop-tester wasm-prop-tester Public

A stack-driven generator of arbitrary WebAssembly programs

OCaml 22 2

Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.

There was an error while loading. Please reload this page.