scylladb / jepsen
scylladb jepsen clone
☆14Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for jepsen
- ☆20Updated 8 years ago
- Atomix Jepsen tests☆14Updated 7 years ago
- TLA+ description for the CAS-Paxos algorithm☆12Updated 7 years ago
- For research related to Humming Consensus: errata & corrections, source code for future work, etc.☆10Updated 8 years ago
- A framework for turning single server data stores into scalable, distributed databases.☆15Updated 7 years ago
- Cap’n Proto plugin for generating serializable Pony classes. - 'n☆19Updated 6 years ago
- VoltDB Jepsen test☆10Updated last year
- Safely trading off consistency for performance.☆12Updated 4 years ago
- A Rust wrapper for `openstack/liberasurecode`☆21Updated 4 years ago
- A library for creating HTTP/2 servers in Haskell.☆9Updated 7 years ago
- PetardFS - a FUSE filessytem for injecting intentional errors (e.g. for testing)☆17Updated 6 years ago
- Protobuf support for Finagle☆14Updated 2 years ago
- Pony implementation of http://www.reactive-streams.org/☆40Updated last month
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- A convenience library for the integration of FoundationDB and various layers in a Dropwizard service.☆11Updated last month
- ☆14Updated 6 years ago
- ☆25Updated 8 years ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- Slides for Pony lectures☆27Updated 6 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆22Updated 5 years ago
- Test data integrity by comparing against an Oracle running in parallel☆31Updated this week
- A top-like utility for monitoring Finagle services☆22Updated 10 years ago
- A library to work with CRDTs in rust☆16Updated 11 months ago
- Internal CockroachDB production testing tool☆15Updated 5 years ago
- RaptorJIT: a dynamic system programming language (manuscript)☆15Updated 5 years ago
- Collection of CRDT data structures☆17Updated 8 years ago
- Pure Pony implementation of the MessagePack serialization format. msgpack.org[Pony]☆32Updated last year
- ☆20Updated 5 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 5 years ago