Skip to content
View jmid's full-sized avatar
88 followers · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck
BetaSend feedback
Block or Report

Block or report jmid

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned

  1. ocaml-multicore/multicoretests ocaml-multicore/multicoretests Public

    PBT testsuite and libraries for testing multicore OCaml

    OCaml 36 14

  2. mutaml mutaml Public

    An OCaml mutation tester

    OCaml 59 3

  3. pbt-frameworks pbt-frameworks Public

    An overview of property-based testing functionality

    45 2

  4. efftester efftester Public

    Effect-Driven Compiler Tester for OCaml

    OCaml 38 5

  5. wasm-prop-tester wasm-prop-tester Public

    A stack-driven generator of arbitrary WebAssembly programs

    OCaml 20 2

  6. sm2-tes21 sm2-tes21 Public

    'Functional Programming and Property-Based Testing' at SDU, Spring 2021

    OCaml 5 2