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☆239Updated 2 months ago
- Parallel Programming over Domains☆174Updated last year
- A simple scheduler for OCaml 5☆100Updated this week
- A tool-agnostic formal specification language for OCaml.☆140Updated last month
- The Flambda backend project for OCaml☆129Updated this week
- Interoperable effects based concurrency☆122Updated 3 weeks ago
- Streamlining the release of dune packages to opam☆118Updated last month
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated last year
- A CI for OCaml projects☆112Updated last week
- OCaml plus Jane Street extensions☆74Updated 8 months ago
- Documentation of the OCaml implementation☆54Updated 2 years ago
- Design discussions about the OCaml language☆156Updated last month
- Monitor Eio programs☆78Updated last year
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆151Updated last year
- OCaml linter☆78Updated last week
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆141Updated 3 weeks ago
- Generation of S-expression conversion functions from type definitions☆90Updated 4 months ago
- A benchmark suite for the OCaml compiler☆83Updated 6 months ago
- Light library to deal with RPCs in OCaml☆97Updated last week
- Template for an ocaml project with modern tooling☆80Updated last month
- A library that makes it nicer to work with nested functional data structures☆58Updated 4 months ago
- A toy language based on LLVM that implements the System Fω type-system☆107Updated last year
- OCaml with macros☆57Updated 2 months ago
- Bindings to io_uring for OCaml☆61Updated 10 months ago
- A deterministic parser with fused lexing☆72Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆81Updated 6 months ago
- Experimental model checker for testing concurrent algorithms☆33Updated 3 months ago
- Fuzzy type search for OCaml documentation☆80Updated 8 months ago
- Cram like framework for OCaml☆156Updated 3 months ago
- A shell library for OCaml☆78Updated 11 months ago