imdea-software / swiftpaxos
Prototype implementation of SwiftPaxos (NSDI 2024)
☆17Updated 10 months ago
Alternatives and similar repositories for swiftpaxos:
Users that are interested in swiftpaxos are comparing it to the libraries listed below
- A yaml-based SQL planner test framework☆26Updated 2 months ago
- ☆16Updated 7 months ago
- Explore JIT in TiDB☆28Updated 3 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆77Updated 2 years ago
- Mea provides async primitives and combinators that are runtime agnostic.☆24Updated this week
- Verified, concurrent, crash-safe transaction system☆55Updated 7 months ago
- ☆13Updated last month
- Fast and efficient file system metadata through LSM-tree☆29Updated 2 years ago
- The labs of Raft consensus algorithm based on MadSim.☆115Updated last week
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆32Updated last year
- ☆12Updated 5 years ago
- OSPP 2022 Project: String Adaptive Hash Table for Databend☆19Updated 2 years ago
- Golang driver for databend cloud☆20Updated last month
- SQL Fuzz Testing Utilities☆29Updated last year
- TLA+ specifications related to Viewstamped Replication☆32Updated 2 years ago
- Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22☆21Updated 9 months ago
- ☆14Updated last year
- How query engine work golang port for learning purpose☆23Updated 3 years ago
- A toy memory store with great performance☆33Updated 2 years ago
- Pretty printing library for SQL☆24Updated last year
- Skeena: Efficient and Consistent Cross-Engine Transactions (SIGMOD 2022, ACM SIGMOD Research Highlights Award 2022)☆16Updated last year
- Kiseki is a Rust implementation for Juicedata's juicefs (https://github.com/juicedata/juicefs), a distributed POSIX file system built on …☆28Updated 5 months ago
- [WIP] An experimental cloud-native distributed KV engine for OLTP workload.☆68Updated 2 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆25Updated 5 years ago
- A Postgres extension that rewrites strings to 💩☆21Updated last year
- Cache server :)☆33Updated last year
- TPCH benchmark tool for databend☆10Updated 2 years ago
- ☆20Updated 2 years ago
- A memcomparable serialization format.☆23Updated last year
- A rust implementation of lock free cuckoo hashmap☆67Updated last month