jmid/3CounterMach

Stars
2
Language
OCaml
Created almost 10 years ago
Updated almost 10 years ago

jmid/3CounterMach

jmid

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

An implementation of Plotkin's 3 Counter Machine

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

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