4 repositories on SrcLog
Effects-based direct-style IO for multicore OCaml
Tutorial on Multicore OCaml parallel programming with domainslib
Software Transactional Memory for OCaml
Experimental model checker for testing concurrent algorithms