Discover @jmid Open Source projects

Jan Midtgaard (@jmid)

jmid

Stars
289
Global Rank 88,879 (Top 4 %)
Followers 88
Registered over 11 years ago
Most used languages

OCaml
94.1 %

HTML
5.9 %
Location 🇩🇰 Denmark
Country Total Rank 400
Country Ranking

OCaml
3

HTML
200

qcstm

A simple state-machine framework for OCaml based on QCheck

mutaml

An OCaml mutation tester

pbt-frameworks

An overview of property-based testing functionality

efftester

Effect-Driven Compiler Tester for OCaml

wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs

mirage-hole

qc-ptrees

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

regexpanalyser

Lattice valued regular expressions and an example analysis

luata-quickcheck

Lua type analysis and corresponding QuickCheck code

xyz-exp-ast

A simple example of using ocamllex and menhir to build an abstract syntax tree

lcheck

A library for quickchecking lattice modules and associated operations

sm2-tes21

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

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

nano-go

A static analysis of the network communication of programs in a synchronous subset of Go

sm2-tes19

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

xyz-exp

A simple example of ocamllex and menhir