Alternatives and similar repositories for mappy

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

• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• camsas / Musketeer
  The Musketeer workflow manager.
  ☆41Updated 6 years ago
• stanford-futuredata / msketch
  Moments Sketch Code
  ☆40Updated 6 years ago
• palvaro / molly
  An implementation of LDFI
  ☆128Updated 6 years ago
• hachikuji / kafka-specification
  TLA+ specification of the Kafka replication protocol
  ☆87Updated 5 years ago
• brownsys / tracing-framework
  Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing
  ☆87Updated 2 years ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 8 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 8 years ago
• aganesan4 / CORDS
  File-system fault injection framework for distributed storage systems
  ☆67Updated 6 years ago
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆115Updated 8 years ago
• stanford-futuredata / momentsketch
  Simplified Moment Sketch Implemntation
  ☆36Updated 6 years ago
• pbailis / ramp-sigmod2014-code
  Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014
  ☆71Updated 10 years ago
• acharapko / retroscope-lib
  ☆15Updated 7 years ago
• ept / cap-critique
  Source of paper “A critique of the CAP theorem”
  ☆16Updated 9 years ago
• mrry / ciel
  A distributed execution engine for cloud computing
  ☆84Updated 13 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• belaban / pluscal
  Tests with PlusCal / TLA+
  ☆25Updated 8 years ago
• bryankate / pequod
  A distributed key-value cache with builtin materialized views.
  ☆26Updated 10 years ago
• ucbrise / fluent-old
  Bloom + C++
  ☆17Updated 7 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• uwescience / raco
  Compilation and rule-based optimization framework for relational algebra. Raco is the language, optimization, and query translation layer…
  ☆73Updated 7 years ago
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• pbailis / tinytocs-site
  Tiny Transactions on Computer Systems (TinyToCS) Site
  ☆32Updated 9 years ago
• rfonseca / X-Trace
  X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers…
  ☆75Updated last year
• ricardobcl / DottedDB
  A Distributed Key-Value Store with "Server Wide Clocks"
  ☆85Updated 8 years ago
• heidihoward / ocaml-raft
  Implementation of Raft consensus algorithm
  ☆112Updated 10 years ago
• mit-pdos / dsrg
  Distributed Systems Reading Group
  ☆20Updated 7 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆76Updated 7 months ago
• uwescience / myria
  Myria is a scalable Analytics-as-a-Service platform based on relational algebra.
  ☆116Updated 3 years ago
• frankmcsherry / COST
  Single-threaded graph computation in Rust
  ☆251Updated 6 years ago