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☆62Updated 3 years ago
- RFCs for changes to TiKV and its ecosystem☆78Updated 4 months 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
- ⛵ A distributed key-value store based on Raft. (WIP)☆44Updated 5 years ago
- [Archive] An experimental cloud-native distributed KV engine for OLTP workload.☆71Updated 2 years ago
- Distributed consensus system with Map interface based on Apache Ratis☆28Updated 2 years ago
- DoraDB☆119Updated this week
- How query engine work golang port for learning purpose☆23Updated 3 years ago
- A yaml-based SQL planner test framework☆27Updated 11 months ago
- A simple sql server code by rust☆65Updated 4 years ago
- The TiKV development/contribution guide☆35Updated 3 years ago
- A Toy Query Engine & SQL interface☆67Updated 3 years ago
- Paxos Made Moderately Complex☆191Updated last year
- databend source reading notes☆22Updated 2 years ago
- ☆24Updated 3 years ago
- A port for rocksdb☆103Updated 3 years ago
- Tool to tune TiKV with ML method☆64Updated 5 years ago
- Yet another thread pool in rust for both callbacks or futures.☆139Updated last year
- The home page of database meetup☆78Updated 3 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- The labs of Raft consensus algorithm based on MadSim.☆125Updated 9 months ago
- A collection of state machine replication protocols☆121Updated 3 years ago
- Async positioned I/O with io_uring.☆44Updated 4 years ago
- TLA+ specification for the Raft consensus algorithm☆19Updated 9 years ago
- Presentations, meetups and talks about Databend☆73Updated 3 years ago
- Experiments in partially ordered SMR.☆48Updated 4 years ago
- Cache server :)☆32Updated 2 years ago
- Build database expression type checker and vectorized runtime executor in type-safe Rust☆98Updated 3 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Updated last year