Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Parallelize _anything_ //
- ocaml-library
- parallel-computing
- stream-processing
- multi-processing
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action