Jan Midtgaard (@jmid)
github

jmid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    302
  • Global Rank 88,598 (Top 4 %)
  • Followers 89
  • Registered about 12 years ago
  • Most used languages
    OCaml
         94.1 %
    HTML
         5.9 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 400
  • Country Ranking
    OCaml
         3
    HTML
         195

Top repositories

1

qcstm

A simple state-machine framework for OCaml based on QCheck
OCaml
63
star
2

mutaml

An OCaml mutation tester
OCaml
61
star
3

pbt-frameworks

An overview of property-based testing functionality
51
star
4

efftester

Effect-Driven Compiler Tester for OCaml
OCaml
38
star
5

wasm-prop-tester

A stack-driven generator of arbitrary WebAssembly programs
OCaml
20
star
6

mirage-hole

OCaml
14
star
7

qc-ptrees

A model-based QuickCheck test of ptrees (Patricia trees)
OCaml
12
star
8

regexpanalyser

Lattice valued regular expressions and an example analysis
OCaml
10
star
9

luata-quickcheck

Lua type analysis and corresponding QuickCheck code
HTML
6
star
10

xyz-exp-ast

A simple example of using ocamllex and menhir to build an abstract syntax tree
OCaml
6
star
11

lcheck

A library for quickchecking lattice modules and associated operations
OCaml
5
star
12

sm2-tes21

'Functional Programming and Property-Based Testing' at SDU, Spring 2021
OCaml
5
star
13

camljoos0

A simple compiler for a small subset of Java 1.3
OCaml
3
star
14

qcheck-fun

Fun examples for exercising QCheck's function generator
OCaml
2
star
15

3CounterMach

An implementation of Plotkin's 3 Counter Machine
OCaml
2
star
16

nano-go

A static analysis of the network communication of programs in a synchronous subset of Go
OCaml
1
star
17

sm2-tes19

'Functional Programming and Property-Based Testing' at SDU, Spring 2019
OCaml
1
star
18

xyz-exp

A simple example of ocamllex and menhir
OCaml
1
star