4 repositories on SrcLog
Effects-based direct-style IO for multicore OCaml
Tutorial on Multicore OCaml parallel programming with domainslib
STM based on lock-free MCAS
Experimental model checker for testing concurrent algorithms