Multicore OCaml

Effects-based direct-style IO for multicore OCaml

Experimental model checker for testing concurrent algorithms

Lock-free data structures for multicore OCaml

Bindings to io_uring for OCaml

PBT testsuite and libraries for testing multicore OCaml

Monitor Eio programs

Benchmarking environment for http servers

Use Lwt libraries from within Eio

Examples to illustrate the use of algebraic effects in Multicore OCaml