NetSys / demi-applicationsLinks
Applications for DEMi
☆9Updated 9 years ago
Alternatives and similar repositories for demi-applications
Users that are interested in demi-applications are comparing it to the libraries listed below
Sorting:
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Fast linearizability checker☆66Updated 9 years ago
- TLA+ specification of Flexible Paxos☆40Updated last year
- Embeddable multi-Paxos For The JVM☆75Updated 5 months ago
- A TLA+ module for animating TLC traces.☆46Updated 5 months ago
- Specifying and Verfying Zab using TLA+☆10Updated 3 years ago
- A formal specification of snapshot isolation.☆18Updated 6 months ago
- Atomix Jepsen tests☆14Updated 8 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- File-system fault injection framework for distributed storage systems☆66Updated 6 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 3 years ago
- TLA+ specification of Fast Flexible Paxos☆18Updated 4 years ago
- ☆26Updated 3 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Eris distributed transactions☆52Updated 7 years ago
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- ZooKeeper server on top of FoundationDB☆26Updated 4 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Updated last year
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Source for SibylFS model and test tools☆35Updated 4 years ago
- Data vault for metrics☆59Updated 10 years ago
- Paxos protocol variants framework☆26Updated 7 years ago
- Prototype of FPaxos, built upon LibPaxos3☆48Updated 5 years ago
- Yesquel: scalable SQL storage for Web apps☆42Updated 8 years ago
- ☆21Updated 3 years ago
- ☆31Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago