pmenon / tpl
☆13Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for tpl
- ☆10Updated 3 years ago
- ☆14Updated last year
- A JIT compiler implemented with MLIR/LLVM for faster query processing in SQLite☆12Updated last year
- Programming Language for Continuous Deep Analytics☆44Updated last year
- Concurrent in-memory B+ Tree featuring optimistic lock coupling☆19Updated last year
- AA-tree implementation in C☆27Updated 10 months ago
- Columnar database on SSD NVMe☆13Updated 3 years ago
- A proof-of-concept for a fast regex matcher using lossy NFA matching on SIMD☆12Updated 5 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆21Updated 2 years ago
- MlpIndex - Extremely fast ordered index via memory level parallelism☆12Updated 5 years ago
- Parallel Self-Adjusting Computation☆11Updated 3 years ago
- Performance evaluation and optimization of SQLite☆23Updated 2 years ago
- ☆37Updated 7 months ago
- ☆16Updated 4 months ago
- Adaptive Radix Tree in C++☆37Updated this week
- Bloom filter alternative (C++)☆17Updated 6 years ago
- A benchmark for cache efficient data structures.☆29Updated 5 years ago
- TLA+ specification of the Ceph consensus algorithm☆21Updated 2 years ago
- 🌳 A compressed rank/select dictionary exploiting approximate linearity and repetitiveness.☆11Updated 2 years ago
- Prefix Filter: Practically and Theoretically Better Than Bloom.☆48Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆12Updated last month
- ☆12Updated 5 months ago
- ☆12Updated 4 years ago
- TLA+ specifications related to Viewstamped Replication☆28Updated last year
- 🔶 Compressed bitvector/container supporting efficient random access and rank queries☆43Updated 2 months ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated last year
- TLA+ description for the CAS-Paxos algorithm☆12Updated 7 years ago
- Fast, concurrent, safe MPMC & MPSC FIFO queue implementation☆10Updated 3 years ago
- Grizzly: Efficient Stream Processing Through Adaptive Query Compilation☆15Updated 4 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year