jmid - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View jmid's full-sized avatar

Jan Midtgaard jmid

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

  • Denmark

Organizations

@ocaml

Block or report jmid

Pinned Loading

  1. QuickCheck inspired property-based testing for OCaml.

    OCaml 395 46

  2. An OCaml mutation tester

    OCaml 67 4

  3. PBT testsuite and libraries for testing multicore OCaml

    OCaml 45 16

  4. An overview of property-based testing functionality

    82 3

  5. Effect-Driven Compiler Tester for OCaml

    OCaml 37 5

  6. A stack-driven generator of arbitrary WebAssembly programs

    OCaml 19 2