ocaml-multicore / kcas
Software Transactional Memory for OCaml
☆117Updated 2 months ago
Alternatives and similar repositories for kcas:
Users that are interested in kcas are comparing it to the libraries listed below
- Lock-free data structures for multicore OCaml☆238Updated 2 months ago
- A simple scheduler for OCaml 5☆100Updated last month
- A tool-agnostic formal specification language for OCaml.☆137Updated last month
- Parallel Programming over Domains☆173Updated last year
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆150Updated last year
- Interoperable effects based concurrency☆122Updated 2 weeks ago
- Streamlining the release of dune packages to opam☆118Updated last month
- The Flambda backend project for OCaml☆128Updated this week
- Documentation of the OCaml implementation☆54Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated last year
- OCaml plus Jane Street extensions☆74Updated 7 months ago
- Monitor Eio programs☆78Updated last year
- A CI for OCaml projects☆112Updated last month
- Design discussions about the OCaml language☆156Updated last month
- Progress bar library for OCaml☆139Updated 8 months ago
- OCaml linter☆78Updated this week
- Experimental model checker for testing concurrent algorithms☆33Updated 2 months ago
- A library that makes it nicer to work with nested functional data structures☆58Updated 4 months ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆141Updated 2 weeks ago
- Generation of S-expression conversion functions from type definitions☆90Updated 3 months ago
- Template for an ocaml project with modern tooling☆80Updated last month
- Commodity thread pools and concurrency primitives for OCaml 5☆56Updated 2 weeks ago
- Fuzzy type search for OCaml documentation☆80Updated 7 months ago
- Standard IO Library for OCaml☆38Updated 6 months ago
- A benchmark suite for the OCaml compiler☆83Updated 6 months ago
- Light library to deal with RPCs in OCaml☆97Updated last month
- Library of Raft consensus algorithm implemented in OCaml☆30Updated last year
- Bindings to io_uring for OCaml☆61Updated 9 months ago
- Assemble dune workspaces to build your project and its dependencies as a whole☆131Updated 2 weeks ago
- Browser programming toolkit for OCaml☆101Updated 2 weeks ago