The Wayback Machine - https://web.archive.org/web/20250419013345/https://github.com/jmid
Skip to content
View jmid's full-sized avatar

Block or report jmid

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. c-cube/qcheck c-cube/qcheck Public

    QuickCheck inspired property-based testing for OCaml.

    OCaml 370 41

  2. mutaml mutaml Public

    An OCaml mutation tester

    OCaml 66 4

  3. ocaml-multicore/multicoretests ocaml-multicore/multicoretests Public

    PBT testsuite and libraries for testing multicore OCaml

    OCaml 39 16

  4. pbt-frameworks pbt-frameworks Public

    An overview of property-based testing functionality

    61 3

  5. efftester efftester Public

    Effect-Driven Compiler Tester for OCaml

    OCaml 38 5

  6. wasm-prop-tester wasm-prop-tester Public

    A stack-driven generator of arbitrary WebAssembly programs

    OCaml 19 2