4 Search Results
containers-data
A set of advanced datatypes for containers
lwt-parallel
Lwt-enabled Parallel Processing Library
qcheck-lin
A multicore testing library for OCaml
qcheck-stm
State-machine testing library for sequential and parallel model-based tests