Alternatives and similar repositories for kcas

Users that are interested in kcas are comparing it to the libraries listed below

• ocaml-multicore / saturn
  Lock-free data structures for multicore OCaml
  ☆262Updated 8 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆155Updated 2 months ago
• ocaml-multicore / domainslib
  Parallel Programming over Domains
  ☆184Updated last month
• ocaml-multicore / picos
  Interoperable effects based concurrency
  ☆142Updated 2 weeks ago
• robur-coop / miou
  A simple scheduler for OCaml 5
  ☆131Updated 2 weeks ago
• ocaml-multicore / ocaml5-tutorial
  A hands-on tutorial on the new parallelism features in OCaml 5
  ☆213Updated last year
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated 2 years ago
• ocaml-multicore / awesome-multicore-ocaml
  A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
  ☆159Updated 2 years ago
• ocaml-flambda / ocaml-jst
  OCaml plus Jane Street extensions
  ☆73Updated last year
• janestreet / accessor
  A library that makes it nicer to work with nested functional data structures
  ☆61Updated 3 weeks ago
• ocaml-multicore / meio
  Monitor Eio programs
  ☆84Updated 2 months ago
• xvw / preface
  Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
  ☆154Updated last week
• ocurrent / ocurrent
  Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
  ☆150Updated 2 weeks ago
• ocaml / RFCs
  Design discussions about the OCaml language
  ☆172Updated 2 months ago
• janestreet / parallel
  OxCaml Parallelism
  ☆37Updated 3 weeks ago
• janestreet / ppx_sexp_conv
  Generation of S-expression conversion functions from type definitions
  ☆94Updated 3 weeks ago
• Kakadu / zanuda
  OCaml linter
  ☆84Updated 2 months ago
• ocurrent / ocaml-ci
  A CI for OCaml projects
  ☆117Updated last week
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆88Updated last month
• c-cube / iter
  Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
  ☆124Updated last year
• tarides / dune-release
  Streamlining the release of dune packages to opam
  ☆119Updated last week
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆114Updated 2 years ago
• tarides / opam-monorepo
  Assemble dune workspaces to build your project and its dependencies as a whole
  ☆133Updated 3 months ago
• alicecaml / alice
  A radical OCaml build system
  ☆118Updated last week
• art-w / deque
  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
  ☆123Updated last year
• ocaml-gospel / ortac
  Runtime assertion checking based on Gospel specifications
  ☆50Updated last month
• ocaml-multicore / dscheck
  Experimental model checker for testing concurrent algorithms
  ☆40Updated last year
• ocaml-multicore / ocaml-uring
  Bindings to io_uring for OCaml
  ☆63Updated 4 months ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆50Updated last year
• odis-labs / streaming
  Fast, safe and composable streaming abstractions.
  ☆119Updated last year