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 6 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• ocamllabs / icfp2016-blog
  Canopy blog data that powers ICFP liveblog
  ☆16Updated 8 years ago
• scribble / scribble-java
  Core components for the Scribble Java tools
  ☆56Updated 3 months ago
• bobatkey / modulog
  A Datalog implementation with an OCaml inspired module system
  ☆44Updated 6 years ago
• yallop / staged-generic-programming
  Code for "Staged Generic Programming" (ICFP 2017)
  ☆26Updated last year
• mfp / oraft
  Raft consensus algorithm implementation
  ☆32Updated 4 years ago
• djs55 / ocaml-btree
  A b-tree implementation for Mirage BLOCK devices
  ☆15Updated 8 years ago
• mirage / ocaml-vchan
  Pure OCaml implementation of the "vchan" shared-memory communication protocol
  ☆45Updated 8 months ago
• mransan / raft
  Implementation of the Raft protocol in OCaml
  ☆20Updated 7 years ago
• bobatkey / ocamlmvc
  An MVC library for writing interactive webpages in OCaml
  ☆35Updated 10 years ago
• kayceesrk / irmin-datatypes
  A collection of functional, mergeable datatypes for Irmin
  ☆12Updated 8 years ago
• travisbrady / flajolet
  Probabilistic data structures for OCaml
  ☆39Updated 7 years ago
• kayceesrk / ocaml-aeio
  Asynchronous effect based IO
  ☆32Updated 3 years ago
• IBM / wcs-ocaml
  Watson Assistant OCaml SDK
  ☆22Updated 6 years ago
• domsj / orocksdb
  An OCaml RocksDb binding using ocaml-ctypes
  ☆28Updated 5 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 8 years ago
• effuse / profuse
  An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
  ☆30Updated 7 years ago
• strymonas / staged-streams.ocaml
  ☆60Updated 5 years ago
• coq-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
  ☆15Updated 6 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• ergl / crdt-ml
  CRDTs - Conflict-Free Replicated Data Types for OCaml
  ☆48Updated 8 years ago
• mirage / mirage-profile
  Collect profiling information
  ☆18Updated last year
• mfp / ocaml-leveldb
  OCaml bindings for Google's LevelDB
  ☆44Updated 3 years ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• ygrek / extunix
  Thin OCaml bindings to various low-level system APIs not covered by Unix module
  ☆52Updated last month
• mirage / ocaml-fat
  Read and write FAT format filesystems from OCaml
  ☆24Updated last year
• will62794 / tlaplus_animation
  A TLA+ module for animating TLC traces.
  ☆45Updated last month
• colinbenner / ocaml-llvm
  Outdated version of an LLVM based backend for OCaml. Newer version:
  ☆20Updated 13 years ago