ocaml-multicore/lockfree

This is stars and forks stats for /ocaml-multicore/lockfree repository. As of 04 May, 2024 this repository has 141 stars and 25 forks.

API Reference Saturn — Parallelism-Safe Data Structures for Multicore OCaml This repository is a collection of parallelism-safe data structures for OCaml 5. They are contained in two packages: Saturn that includes all data structures (including the lock-free ones) and should be used by default if you just want parallelism-safe data structures; Saturn_lockfree that includes only lock-free data structures. It aims to provide an industrial-strength, well-tested (and possibly model-checked and verified...