- Denmark
- https://janmidtgaard.dk
-
gospel Public
Forked from ocaml-gospel/gospelA tool-agnostic formal specification language for OCaml.
OCaml MIT License UpdatedOct 18, 2021 -
lcheck Public
A library for quickchecking lattice modules and associated operations
-
flambda-backend Public
Forked from ocaml-flambda/flambda-backendThe Flambda backend project for OCaml
OCaml UpdatedOct 4, 2021 -
regexpanalyser Public
Lattice valued regular expressions and an example analysis
-
qcstm Public
A simple state-machine framework for OCaml based on QCheck
-
wasm-prop-tester Public
A stack-driven generator of arbitrary WebAssembly programs
-
sm2-tes21 Public
'Functional Programming and Property-Based Testing' at SDU, Spring 2021
-
sm2-tes19 Public archive
'Functional Programming and Property-Based Testing' at SDU, Spring 2019
-
sm2-tes20 Public archive
'Functional Programming and Property-Based Testing' at SDU, Spring 2020
-
qcheck-example Public
A minimal example of QCheck, ocamlfind, and ocamlbuild
OCaml UpdatedFeb 4, 2020 -
sb5-tec19 Public
Material for SB5-TEC "Distribution and Integration Technologies" @ SDU, fall 2019
HTML UpdatedNov 4, 2019 -
efftester Public
Effect-Driven Compiler Tester for OCaml
-
qc-ptrees Public
A model-based QuickCheck test of ptrees (Patricia trees)
-
nano-go Public
A static analysis of the network communication of programs in a synchronous subset of Go
-
luata-quickcheck Public
Lua type analysis and corresponding QuickCheck code
-
qcheck-fun Public
Fun examples for exercising QCheck's function generator
-
iterated Public
An iterated process analysis over lattice-valued regular expressions
JavaScript UpdatedJul 11, 2016 -
-
js_of_ocaml-xyz Public
An example of compiling a simple language processor in OCaml to JavaScript with js_of_ocaml
OCaml The Unlicense UpdatedSep 23, 2014 -
-
-
xyz-exp-ast Public
A simple example of using ocamllex and menhir to build an abstract syntax tree
-
-