13 Search Results
dolmen_model
A model checker for automated deduction languages
0.8
BSD-2-Clause
Used by 1 other packages
dolmen_type
A typechecker for automated deduction languages
0.8
BSD-2-Clause
Used by 3 other packages
ocamlfind-lint
Simple tool performing checks on installed findlib META files
0.1.0
New BSD License
Used by 0 other packages
qcheck
Compatibility package for qcheck
0.20
BSD-2-Clause
Used by 54 other packages
qcheck-alcotest
Alcotest backend for qcheck
0.20
BSD-2-Clause
Used by 58 other packages
qcheck-core
Core qcheck library
0.20
BSD-2-Clause
Used by 22 other packages
qcheck-multicoretests-util
Various utility functions for property-based testing of multicore programs
qcheck-ounit
OUnit backend for qcheck
0.20
BSD-2-Clause
Used by 4 other packages
qcstm
A simple state-machine framework for OCaml based on QCheck
0.1.1
BSD-2-Clause
Used by 0 other packages