A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
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