uchicago-cs / chidb
☆66Updated 2 years ago
Alternatives and similar repositories for chidb:
Users that are interested in chidb are comparing it to the libraries listed below
- Experimenting with persistence in C☆166Updated 2 years ago
- An Educational parallel Algorithm collection☆110Updated this week
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆74Updated 3 years ago
- BLInk Tree logic - storage and locking experiment☆25Updated 10 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- C++11 port of the PostgreSQL DBMS☆68Updated 8 years ago
- Paxos in Python, tested with Jepsen☆31Updated 3 years ago
- lock free modified prefix B+tree append-only database☆115Updated 9 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆198Updated 4 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- Time, Clocks, and the Ordering of Events☆40Updated 3 years ago
- Personal reading list/reference re: TLA+☆87Updated 6 years ago
- A working project for High-concurrency B-tree source code in C☆246Updated 4 years ago
- ☆132Updated 2 years ago
- This is a mirror of github.com/percona/PerconaFT that is kept here for legacy purposes.☆94Updated 5 years ago
- Log-Structured Merge-Tree (LSM-Tree)☆89Updated 7 years ago
- A simple, reference implementation of a B^e-tree☆151Updated 5 years ago
- This is an implementation of a log structure merge tree.☆60Updated 7 years ago
- Embedded InnoDB based on v5.1☆30Updated 2 months ago
- Collection of Papers On Database Management Systems☆216Updated 8 years ago
- Peloton Design Docs☆27Updated 6 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- TLA+ specifications for Raft and variants☆61Updated 2 years ago
- A prototype of a web server, using master-worker architecture, written in C.☆48Updated 8 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆120Updated last year
- Implemet Key-Value store using BTree☆58Updated 5 years ago
- The array hash table, array burst trie and array BST, written in C, as described in my PhD thesis.☆40Updated 8 years ago
- C implementation of the Raft Consensus protocol, BSD licensed☆71Updated last year
- Basic Database System implemented for MDBS course☆12Updated 10 years ago