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:
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- Resources for the transaction SIG☆62Updated 3 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
- Paxos Made Moderately Complex☆191Updated last year
- ☆51Updated 7 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆44Updated 5 years ago
- A simple sql server code by rust☆65Updated 4 years ago
- ☆302Updated last year
- How query engine work golang port for learning purpose☆23Updated 3 years ago
- ☆13Updated last year
- Tool to tune TiKV with ML method☆64Updated 5 years ago
- Presentations, meetups and talks about Databend☆73Updated 3 years ago
- horoscope is an optimizer inspector for DBMS.☆36Updated 4 years ago
- A collection of state machine replication protocols☆121Updated 2 years ago
- A playground to experiment with Raft proposal pipeline optimization☆16Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆19Updated 9 years ago
- TuringCell: Run Linux over Paxos/Raft☆77Updated 5 years ago
- DoraDB☆117Updated last week
- A fun project for evaluating some new optimizations quickly, do not use it in production☆118Updated last year
- A Toy Query Engine & SQL interface☆67Updated 3 years ago
- ☆48Updated 3 years ago
- ☆22Updated last year
- databend source reading notes☆22Updated 2 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆141Updated 2 years ago
- Paper Summaries☆56Updated 5 years ago
- A toy SQL engine built on top of LSM(LevelDB)☆22Updated 6 years ago
- The TiKV development/contribution guide☆35Updated 3 years ago
- Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high thr…☆172Updated last year