ocaml-multicore / kcas
Software Transactional Memory for OCaml
☆115Updated last month
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☆236Updated last month
- Parallel Programming over Domains☆172Updated 11 months ago
- A simple scheduler for OCaml 5☆101Updated 2 weeks ago
- A tool-agnostic formal specification language for OCaml.☆133Updated 2 weeks ago
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆149Updated last year
- Monitor Eio programs☆78Updated 11 months ago
- Interoperable effects based concurrency☆120Updated this week
- Streamlining the release of dune packages to opam☆116Updated 2 weeks ago
- The Flambda backend project for OCaml☆125Updated this week
- A CI for OCaml projects☆112Updated last month
- OCaml plus Jane Street extensions☆74Updated 7 months ago
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆122Updated 2 weeks ago
- Documentation of the OCaml implementation☆54Updated last year
- A library that makes it nicer to work with nested functional data structures☆58Updated 3 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆205Updated 11 months ago
- Design discussions about the OCaml language☆153Updated last week
- Template for an ocaml project with modern tooling☆80Updated 3 weeks ago
- A benchmark suite for the OCaml compiler☆83Updated 5 months ago
- Cram like framework for OCaml☆154Updated 2 months ago
- OCaml with macros☆56Updated last month
- Progress bar library for OCaml☆138Updated 7 months ago
- Generation of S-expression conversion functions from type definitions☆90Updated 3 months ago
- OCaml linter☆74Updated this week
- Commodity thread pools and concurrency primitives for OCaml 5☆56Updated 2 months ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆140Updated 3 weeks ago
- Realtime grep for OCaml/Coq sources available on opam☆81Updated 5 months ago
- Bindings to io_uring for OCaml☆61Updated 9 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 8 months ago
- Browser programming toolkit for OCaml☆100Updated 2 months ago
- Experimental model checker for testing concurrent algorithms☆32Updated 2 months ago