andylokandy / typed-type-exercise-in-rust
Build database expression type checker and vectorized runtime executor in type-safe Rust
☆97Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for typed-type-exercise-in-rust
- The TiKV development/contribution guide☆34Updated 2 years ago
- A simple sql server code by rust☆64Updated 3 years ago
- A procedural macro for defining nom combinators in simple DSL☆43Updated last month
- A port for rocksdb☆104Updated 2 years ago
- Cache server :)☆33Updated last year
- Yet another thread pool in rust for both callbacks or futures.☆135Updated 2 months ago
- A binary representation of json value, optimized for parsing and querying.☆22Updated 5 months ago
- LSM based key-value store in rust, design for cloud☆88Updated 2 years ago
- The labs of Raft consensus algorithm based on MadSim.☆109Updated last year
- Use io_uring from vanilla tokio.☆36Updated 3 weeks ago
- Performant time measuring in Rust☆171Updated 8 months ago
- Sqllogictest (dialect with extensions) parser and runner in Rust.☆176Updated this week
- TPCH benchmark tool for databend☆10Updated 2 years ago
- A memcomparable serialization format.☆22Updated last year
- A native storage format for apache arrow☆81Updated last year
- A minimal implementation of tikv/pd in Rust.☆64Updated 3 years ago
- 🚧 Build a SQL optimizer in 1000 lines of Rust using egg.☆73Updated last year
- Generate accurate and informative tree dumps of asynchronous tasks.☆161Updated 7 months ago
- DoraDB☆117Updated this week
- sqlrs is an in-process sql query engine☆109Updated last year
- ☆27Updated 2 years ago
- ☆57Updated 2 years ago
- An efficient runtime for asynchronous applications in Rust.☆43Updated 2 years ago
- JSONB implement in rust☆67Updated this week
- 🍋: A General Lock following paper "Optimistic Lock Coupling: A Scalable and Efficient General-Purpose Synchronization Method"☆28Updated 3 years ago
- OSPP 2022 Project: String Adaptive Hash Table for Databend☆18Updated 2 years ago
- Style guide for PingCAP and TiKV code☆81Updated 3 years ago
- ☆32Updated 9 months ago
- Databend Performance Data and Visualization☆37Updated 3 months ago