bholt / ipaLinks
Safely trading off consistency for performance.
☆12Updated 5 years ago
Alternatives and similar repositories for ipa
Users that are interested in ipa are comparing it to the libraries listed below
Sorting:
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 7 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Playground for instrumenting `scalac` using AspectJ.☆43Updated 10 years ago
- Oblivious RAM for Scala☆19Updated 4 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- Erlang implementation of tagged reliable causal broadcast.☆25Updated 7 years ago
- Running CRDT experiments on top of https://github.com/vitorenesduarte/ldb☆15Updated 4 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆13Updated 9 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆9Updated 9 years ago
- Sireum v3☆10Updated last year
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- A toolkit for building multi-result supercompilers☆30Updated 3 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- A top-like utility for monitoring Finagle services☆22Updated 11 years ago
- Integrating the CAP theorem into distributed language design.☆13Updated 6 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 6 years ago
- Atomix Jepsen tests☆14Updated 8 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 12 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Updated 8 years ago
- The theory of coeffects presented in the dead wood format. Crocodile leather bound copies available upon request.☆26Updated 8 years ago
- SPREAD☆19Updated 4 years ago
- A distributed key-value cache with builtin materialized views.☆26Updated 10 years ago
- Finite state machines as graphs☆59Updated 5 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆32Updated 4 years ago