Alternatives and similar repositories for mappy

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

• ucbrise / LatticeFlow
  ☆27Updated 8 years ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 8 years ago
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆115Updated 8 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 6 years ago
• ept / cap-critique
  Source of paper “A critique of the CAP theorem”
  ☆16Updated 9 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• stasis / stasis
  Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…
  ☆53Updated 12 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 8 years ago
• stanford-futuredata / msketch
  Moments Sketch Code
  ☆40Updated 6 years ago
• d2iq-archive / mesos-utils
  Utilities for building distributed systems on top of mesos
  ☆24Updated 6 years ago
• chriso / roaring-bitmap
  Roaring bitmaps in C
  ☆17Updated 9 years ago
• biokoda / actordb_core
  ActorDB main source
  ☆46Updated 2 years ago
• efficient / ffbf
  Feed-forward Bloom filters
  ☆52Updated 13 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• concord / getting-started
  demo clients
  ☆20Updated 7 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• rumpkernel / rumpctrl
  Control and diagnostic applications for rump kernels
  ☆36Updated 8 years ago
• VividCortex / lastseen
  Last-seen sketch implementation in Go
  ☆16Updated 4 years ago
• addthis / meshy
  ☆17Updated 5 years ago
• wpaxos / paxi
  Paxos protocol variants framework
  ☆26Updated 7 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• stanford-futuredata / momentsketch
  Simplified Moment Sketch Implemntation
  ☆36Updated 6 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• dgryski / hokusai
  hokusai -- sketching streams in real-time
  ☆78Updated 8 years ago
• pbailis / tinytocs-site
  Tiny Transactions on Computer Systems (TinyToCS) Site
  ☆32Updated 9 years ago