Block or report user

Report or block jmid

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. efftester

    Effect-Driven Compiler Tester for OCaml

    OCaml 20

  2. qc-ptrees

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

    OCaml 6 1

  3. luata-quickcheck

    Lua type analysis and corresponding QuickCheck code

    HTML 4 2

  4. xyz-exp-ast

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

    OCaml 3 1

  5. regexpanalyser

    Lattice valued regular expressions and an example analysis

    OCaml 3 1

  6. lcheck

    A library for quickchecking lattice modules and associated operations

    OCaml 2 2

17 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri

Contribution activity

August - November 2018

jmid has no activity yet for this period.

July 2018

Seeing something unexpected? Take a look at the GitHub profile guide.