uchicago-cs / chidbLinks
☆68Updated 2 years ago
Alternatives and similar repositories for chidb
Users that are interested in chidb are comparing it to the libraries listed below
Sorting:
- Experimenting with persistence in C☆182Updated 3 years ago
- This is an implementation of a log structure merge tree.☆59Updated 7 years ago
- Distributed Systems Reading Group☆20Updated 7 years ago
- A curated list of TLA+ resources.☆66Updated 5 years ago
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆207Updated 4 years ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆79Updated last year
- Toy Green Threads for C.☆201Updated 8 years ago
- A prototype of a web server, using master-worker architecture, written in C.☆50Updated 8 years ago
- A little, pedagogical implementation of mvcc and transaction isolation levels.☆61Updated 7 months ago
- Reading the linearizability paper with TLA+☆49Updated 3 years ago
- Time, Clocks, and the Ordering of Events☆40Updated 3 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- Paxos Made Moderately Complex☆186Updated 10 months ago
- An Educational parallel Algorithm collection☆127Updated 4 months ago
- Resources for the transaction SIG☆63Updated 2 years ago
- Embedded InnoDB based on v5.1☆32Updated last month
- ☆137Updated 2 years ago
- lock free modified prefix B+tree append-only database☆117Updated 10 years ago
- Basic Database System implemented for MDBS course☆13Updated 10 years ago
- Read- and latency-optimized log structured merge tree☆174Updated 13 years ago
- The project folder of the 15-445 Introduction to Database system☆45Updated 6 years ago
- ☆29Updated 8 years ago
- List of bugs found in distributed protocols☆198Updated last year
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆195Updated 7 years ago
- CASPaxos: Replicated State Machines without logs☆100Updated 6 years ago
- CMU 15-445 2017 (force pushed to erase my works)☆59Updated 5 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆104Updated last year
- Personal reading list/reference re: TLA+☆88Updated 7 years ago
- Order-preserving key encoder☆122Updated 5 years ago
- Distributed Programming Abstractions☆16Updated 6 years ago