Alternatives and similar repositories for ipa:

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

• epfl-labos / wren
  Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store
  ☆8Updated 6 years ago
• gkossakowski / scalac-aspects
  Playground for instrumenting `scalac` using AspectJ.
  ☆43Updated 10 years ago
• slfritchie / humming-consensus
  For research related to Humming Consensus: errata & corrections, source code for future work, etc.
  ☆10Updated 8 years ago
• andreaferretti / lethe
  Oblivious RAM for Scala
  ☆19Updated 3 years ago
• vitorenesduarte / exp
  Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb
  ☆15Updated 3 years ago
• atomix / atomix-jepsen
  Atomix Jepsen tests
  ☆14Updated 7 years ago
• machinomy / crdt
  Collection of CRDT data structures
  ☆17Updated 8 years ago
• scylladb / jepsen
  scylladb jepsen clone
  ☆15Updated 6 months ago
• fegaras / DIQL
  DIQL: Data Intensive Query Language
  ☆12Updated 4 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• cmeiklejohn / ensemble
  Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.
  ☆13Updated 8 years ago
• lasp-lang / ishikawa
  Erlang implementation of tagged reliable causal broadcast.
  ☆25Updated 6 years ago
• sireum / v3
  Sireum v3
  ☆10Updated last year
• evnm / fintop
  A top-like utility for monitoring Finagle services
  ☆22Updated 10 years ago
• frankmcsherry / explanation
  Infrastructure for explaining the outputs of differential dataflow computations
  ☆22Updated 8 years ago
• nickng / asyncpi
  An implementation of asynchronous π-calculus in Go
  ☆7Updated 3 years ago
• rystsov / fast-jepsen
  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time
  ☆20Updated 6 years ago
• rescrv / pocdb
  Paxos-replicated key-value store in 3 hours or less.
  ☆25Updated 7 years ago
• acharapko / retroscope-lib
  ☆14Updated 7 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆12Updated 6 years ago
• cmeiklejohn / partisan-usenix-atc-2019
  Experimental evaluation for the Partisan paper at USENIX ATC 2019.
  ☆22Updated 5 years ago
• ashwin153 / beaker
  A distributed, transactional key-value store.
  ☆64Updated 5 years ago
• TomasMikula / LambdaCart
  Lambda syntax for Scala EDSLs
  ☆26Updated last year
• heathermiller / papers-documents
  Papers I (+ collaborators) have written or am currently writing
  ☆20Updated 7 years ago
• tarcieri / paradox
  Experimental language for verifiable computation using zero-knowledge proofs
  ☆25Updated 6 years ago