mwhittaker / aries
A Javascript ARIES Simulator
☆59Updated 7 years ago
Alternatives and similar repositories for aries:
Users that are interested in aries are comparing it to the libraries listed below
- Paper Summaries☆55Updated 4 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- ☆20Updated last year
- ☆50Updated 7 years ago
- Tool to tune TiKV with ML method☆64Updated 4 years ago
- Implementation of the BwTree as specified by Microsoft Research☆100Updated 9 years ago
- ☆137Updated 2 years ago
- Deneva is a distributed in-memory database framework that supports the evaluation of various concurrency control algorithms.☆115Updated 2 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- LSM based key-value store in rust, design for cloud☆87Updated 3 years ago
- RFCs for changes to TiKV and its ecosystem☆78Updated 3 months ago
- DS2 is an auto-scaling controller for distributed streaming dataflows☆89Updated 2 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆52Updated 7 months ago
- Paxos Made Moderately Complex☆185Updated 8 months ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 4 years ago
- Apache Quickstep Incubator - This project is retired☆95Updated 6 years ago
- continuously update cloud database papers☆79Updated 11 months ago
- stream processing reading list☆68Updated last year
- The home page of database meetup☆78Updated 2 years ago
- ☆26Updated 2 years ago
- Distributed consensus system with Map interface based on Apache Ratis☆27Updated last year
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- A series of maps to help users and contributors☆96Updated 3 years ago
- A library that provides an embeddable, persistent key-value store for fast storage.☆120Updated 2 weeks ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 4 years ago
- TLA+ specifications for Raft and variants☆63Updated 2 years ago
- ☆143Updated 2 years ago
- A Benchmark Harness for Systematic and Robust Evaluation of Streaming State Stores☆17Updated last year