Jan Midtgaard

pbt-frameworks. An overview of property-based testing functionality

mutaml. An OCaml mutation tester

qcstm. A simple state-machine framework for OCaml based on QCheck

efftester. Effect-Driven Compiler Tester for OCaml

wasm-prop-tester. A stack-driven generator of arbitrary WebAssembly programs

mirage-hole. OCaml

qc-ptrees. A model-based QuickCheck test of ptrees (Patricia trees)

regexpanalyser. Lattice valued regular expressions and an example analysis

xyz-exp-ast. A simple example of using ocamllex and menhir to build an abstract syntax tree

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

luata-quickcheck. Lua type analysis and corresponding QuickCheck code

lcheck. A library for quickchecking lattice modules and associated operations

camljoos0. A simple compiler for a small subset of Java 1.3

qcheck-fun. Fun examples for exercising QCheck's function generator

3CounterMach. An implementation of Plotkin's 3 Counter Machine

ortac. Runtime assertion checking based on Gospel specifications

sm2-tes19. 'Functional Programming and Property-Based Testing' at SDU, Spring 2019

nano-go. A static analysis of the network communication of programs in a synchronous subset of Go

xyz-exp. A simple example of ocamllex and menhir