uchicago-cs / chidb
☆67Updated 2 years ago
Alternatives and similar repositories for chidb:
Users that are interested in chidb are comparing it to the libraries listed below
- An Educational parallel Algorithm collection☆126Updated 3 months ago
- Experimenting with persistence in C☆182Updated 3 years ago
- Collection of Papers On Database Management Systems☆221Updated 8 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- A prototype of a web server, using master-worker architecture, written in C.☆49Updated 8 years ago
- lock free modified prefix B+tree append-only database☆117Updated 9 years ago
- A working project for High-concurrency B-tree source code in C☆250Updated 4 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- Order-preserving key encoder☆122Updated 5 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆132Updated last year
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆75Updated 3 years ago
- ☆50Updated 7 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 13 years ago
- LSM-Tree Key-Value Store based on RocksDB☆79Updated last year
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆206Updated 4 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 8 years ago
- ☆137Updated 2 years ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆60Updated 6 months ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- This is a mirror of github.com/percona/PerconaFT that is kept here for legacy purposes.☆94Updated 5 years ago
- C++11 port of the PostgreSQL DBMS☆68Updated 8 years ago
- An implementation of Intel's concurrent B+Tree (Palm Tree)☆174Updated 8 years ago
- The project folder of the 15-445 Introduction to Database system☆45Updated 6 years ago
- A SQL-to-native-code compiler based on LLVM☆48Updated 9 years ago
- BLInk Tree logic - storage and locking experiment☆27Updated 10 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated last year
- A curated list of TLA+ resources.☆66Updated 5 years ago