4 Search Results
containers-data
A set of advanced datatypes for containers
containers RAL functional vector okasaki
Simon Cruanes
3.10
BSD-2-Clause
Used by 5 other packages
lwt-parallel
Lwt-enabled Parallel Processing Library
lwt parallel fork
Ivan Gotovchits <ivg@ieee.org>
1.0.0
MIT
Used by 0 other packages
qcheck-lin
A multicore testing library for OCaml
test property qcheck quickcheck parallelism sequential consistency
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 0 other packages
qcheck-stm
State-machine testing library for sequential and parallel model-based tests
test property qcheck quickcheck state-machine testing model-based testing parallel testing
Jan Midtgaard Olivier Nicole Nicolas Osborne Samuel Hym
0.1
BSD-2-clause
Used by 0 other packages