Alternatives and similar repositories for shonan-143

Users that are interested in shonan-143 are comparing it to the libraries listed below

• kayceesrk / Quelea
  A Haskell library for declarative programming over eventually consistent store (Cassandra).
  ☆18Updated 7 years ago
• ocamllabs / icfp2016-blog
  Canopy blog data that powers ICFP liveblog
  ☆16Updated 8 years ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• djs55 / ocaml-btree
  A b-tree implementation for Mirage BLOCK devices
  ☆15Updated 8 years ago
• bobatkey / ocamlmvc
  An MVC library for writing interactive webpages in OCaml
  ☆35Updated 10 years ago
• mfp / oraft
  Raft consensus algorithm implementation
  ☆33Updated 5 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 2 months ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 7 months ago
• mransan / raft
  Implementation of the Raft protocol in OCaml
  ☆20Updated 8 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 8 years ago
• kayceesrk / irmin-datatypes
  A collection of functional, mergeable datatypes for Irmin
  ☆12Updated 8 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• ocamllabs / ocaml-memory-model
  ☆27Updated 5 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• witan-org / witan
  An ocaml implementation of conflict-driven reasoning
  ☆14Updated 6 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated last month
• domsj / orocksdb
  An OCaml RocksDb binding using ocaml-ctypes
  ☆28Updated 5 years ago
• suttonshire / ocaml-xsk
  An OCaml wrapper to the AF_XDP socket interface of libbpf
  ☆26Updated 10 months ago
• yallop / metaocaml-syb
  Scrap Your Boilerplate for MetaOCaml with modular implicits
  ☆18Updated 9 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• kayceesrk / riscv-ocaml-cross
  RISC-V OCaml cross compiler
  ☆14Updated 6 years ago
• mirage / mirage-lambda
  An eDSL for MirageOS apps
  ☆20Updated 6 years ago
• ocaml-multicore / multicore-bench
  Framework for benchmarking on multiple cores on current-bench
  ☆13Updated last week
• darrenldl / ocaml-lxc
  OCaml binding to LXC with idiomatic (and opionated) OCaml API design
  ☆13Updated 5 years ago
• kayceesrk / ocaml-aeio
  Asynchronous effect based IO
  ☆32Updated 4 years ago
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆46Updated 5 months ago
• janestreet / typerep
  Runtime types for OCaml (beta version)
  ☆24Updated this week
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆54Updated 2 months ago