Projects in Awesome Lists by jmid
A curated list of projects in awesome lists by jmid .
https://github.com/jmid/qcstm
A simple state-machine framework for OCaml based on QCheck
ocaml property-based-testing quickcheck
Last synced: 25 Jul 2025
https://github.com/jmid/pbt-frameworks
An overview of property-based testing functionality
property-based-testing property-testing quickcheck
Last synced: 06 Jan 2026
https://github.com/jmid/efftester
Effect-Driven Compiler Tester for OCaml
compiler-testing ocaml property-based-testing quickcheck
Last synced: 16 Oct 2025
https://github.com/jmid/wasm-prop-tester
A stack-driven generator of arbitrary WebAssembly programs
property-based-testing property-testing quickcheck wasm webassembly
Last synced: 16 Aug 2025
https://github.com/jmid/qc-ptrees
A model-based QuickCheck test of ptrees (Patricia trees)
model-based-testing ocaml patricia-tree property-based-testing quickcheck
Last synced: 25 Jul 2025
https://github.com/jmid/regexpanalyser
Lattice valued regular expressions and an example analysis
Last synced: 25 Oct 2025
https://github.com/jmid/luata-quickcheck
Lua type analysis and corresponding QuickCheck code
lattice lua property-based-testing prototype quickcheck static-analysis type-analysis
Last synced: 15 Jul 2025
https://github.com/jmid/sm2-tes21
'Functional Programming and Property-Based Testing' at SDU, Spring 2021
Last synced: 25 Jul 2025
https://github.com/jmid/xyz-exp-ast
A simple example of using ocamllex and menhir to build an abstract syntax tree
Last synced: 25 Jul 2025
https://github.com/jmid/lcheck
A library for quickchecking lattice modules and associated operations
embedded-dsls lattice monotonicity ocaml property-based-testing quickcheck
Last synced: 25 Jul 2025
https://github.com/jmid/camljoos0
A simple compiler for a small subset of Java 1.3
Last synced: 24 Mar 2025
https://github.com/jmid/3countermach
An implementation of Plotkin's 3 Counter Machine
Last synced: 24 Mar 2025
https://github.com/jmid/qcheck-fun
Fun examples for exercising QCheck's function generator
Last synced: 24 Mar 2025
https://github.com/jmid/nano-go
A static analysis of the network communication of programs in a synchronous subset of Go
golang prototype static-analysis
Last synced: 24 Mar 2025
https://github.com/jmid/myers-stack
An OCaml implementation of a Myers stack
Last synced: 24 Mar 2025
https://github.com/jmid/qcheck-example
A minimal example of QCheck, ocamlfind, and ocamlbuild
Last synced: 24 Mar 2025
https://github.com/jmid/sb5-tec19
Material for SB5-TEC "Distribution and Integration Technologies" @ SDU, fall 2019
Last synced: 28 Jul 2025
https://github.com/jmid/iterated
An iterated process analysis over lattice-valued regular expressions
Last synced: 24 Mar 2025
https://github.com/jmid/ocaml-skyline
An OCaml implementation of the Skyline problem
Last synced: 24 Mar 2025
https://github.com/jmid/js_of_ocaml-xyz
An example of compiling a simple language processor in OCaml to JavaScript with js_of_ocaml
Last synced: 24 Mar 2025