Jan Midtgaard

icon indicating a website link https://tailcall.dk icon indicating an email [email protected]

icon company Independent icon location Denmark icon location Hacks on FP and property-based testing. Former academic. Open to work.

Results 5 repositories owned by Jan Midtgaard

qcstm

63
Stars
6
Forks
Watchers

A simple state-machine framework for OCaml based on QCheck

verified publisher icon jmid

efftester

38
Stars
5
Forks
Watchers

Effect-Driven Compiler Tester for OCaml

verified publisher icon jmid

mutaml

61
Stars
3
Forks
Watchers

An OCaml mutation tester

verified publisher icon jmid

pbt-frameworks

52
Stars
3
Forks
Watchers

An overview of property-based testing functionality

verified publisher icon jmid

wasm-prop-tester

20
Stars
2
Forks
Watchers

A stack-driven generator of arbitrary WebAssembly programs

verified publisher icon jmid