Alternatives and similar repositories for ipa

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

• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆9Updated 9 years ago
• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 7 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• axel22 / Ctries
  Scala implementation of the Ctrie datastructure.
  ☆174Updated 3 years ago
• fpaxos / fpaxos-tlaplus
  TLA+ specification of Flexible Paxos
  ☆40Updated last year
• salesforce / runway-compiler
  Parses and executes Runway models of distributed systems
  ☆50Updated 3 years ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 8 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 4 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 8 years ago
• trex-paxos / trex
  Embeddable multi-Paxos For The JVM
  ☆76Updated 6 months ago
• ponylang / reactive_streams
  Pony implementation of http://www.reactive-streams.org/
  ☆40Updated last month
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• andreaferretti / lethe
  Oblivious RAM for Scala
  ☆19Updated 4 years ago
• NetSys / demi
  Interposition code for DEMi (Distributed Execution Minimizer)
  ☆90Updated 9 years ago
• sylvanc / pony-lecture
  Slides for Pony lectures
  ☆27Updated 7 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 6 years ago
• dzufferey / psync
  DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds
  ☆44Updated 3 years ago
• rescrv / Replicant
  A system for maintaining replicated state machines
  ☆115Updated 8 years ago
• SyncFree / SwiftCloud
  ☆27Updated 9 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 7 years ago
• mrry / ciel
  A distributed execution engine for cloud computing
  ☆84Updated 13 years ago
• yzernik / bitcoin-scodec
  Library for encoding Bitcoin network protocol messages in Scala.
  ☆21Updated 5 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• ricardobcl / DottedDB
  A Distributed Key-Value Store with "Server Wide Clocks"
  ☆85Updated 8 years ago
• domsj / streamy-db
  Deterministic transactional database layer on top of a stream processing engine
  ☆25Updated 5 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 9 years ago
• evnm / fintop
  A top-like utility for monitoring Finagle services
  ☆22Updated 11 years ago
• phaynes / datanet
  CRDT-based data synchronization service
  ☆17Updated 8 years ago