mwhittaker / ariesLinks
A Javascript ARIES Simulator
☆60Updated 7 years ago
Alternatives and similar repositories for aries
Users that are interested in aries are comparing it to the libraries listed below
Sorting:
- Resources for the transaction SIG☆63Updated 2 years ago
- Paper Summaries☆55Updated 4 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- ☆137Updated 3 years ago
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- RFCs for changes to TiKV and its ecosystem☆78Updated 3 weeks ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 4 years ago
- A collection of state machine replication protocols☆118Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm☆19Updated 8 years ago
- ☆299Updated last year
- LSM based key-value store in rust, design for cloud☆87Updated 3 years ago
- Implementation of the BwTree as specified by Microsoft Research☆100Updated 9 years ago
- Code for "Lessons Learned from Building a Query Optimizer" blog series☆47Updated 5 months ago
- ☆21Updated last year
- The home page of database meetup☆79Updated 3 years ago
- Paxos Made Moderately Complex☆186Updated 11 months ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆44Updated 5 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆199Updated 7 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 2 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆55Updated 9 months ago
- 数据库测试资料 This repo is a collection of resources on testing database systems☆168Updated 3 weeks ago
- DoraDB☆117Updated this week
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆120Updated 2 months ago
- Sqllogictest (dialect with extensions) parser and runner in Rust.☆195Updated 3 weeks ago
- SQL Fuzz Testing Utilities☆29Updated last year
- continuously update cloud database papers☆81Updated last year
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆133Updated 2 years ago
- A Toy Query Engine & SQL interface☆66Updated 3 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆169Updated last year
- The labs of Raft consensus algorithm based on MadSim.☆122Updated 4 months ago