cos418atPrinceton / assignments_template
☆26Updated 11 months ago
Alternatives and similar repositories for assignments_template:
Users that are interested in assignments_template are comparing it to the libraries listed below
- CSE535 Asynchronous (Distributed) Systems 2019 Spring☆28Updated 5 years ago
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆189Updated 6 years ago
- ☆50Updated 10 months ago
- A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)☆28Updated 2 years ago
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆81Updated 3 years ago
- Resources for the transaction SIG☆63Updated 2 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆42Updated 4 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆120Updated last year
- JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.☆27Updated 6 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 5 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆51Updated 4 months ago
- Jepsen and Elle based Consistency Checking Interface☆21Updated 2 years ago
- A yaml-based SQL planner test framework☆26Updated last month
- A collection of state machine replication protocols☆118Updated 2 years ago
- Peloton Design Docs☆27Updated 6 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆24Updated 10 months ago
- The TiKV development/contribution guide☆34Updated 2 years ago
- The labs of Raft consensus algorithm based on MadSim.☆111Updated last year
- Java Skeleton Code for 6.035☆8Updated 3 years ago
- The home page of database meetup☆77Updated 2 years ago
- 🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.☆29Updated 3 years ago
- A Swiss Army knife for read-write quorum systems☆84Updated 3 years ago
- ☆19Updated last year
- An automatic test pipeline for distributed systems.☆17Updated 3 years ago
- framework for evaluating (planet-scale) consensus protocols☆126Updated 10 months ago
- ☆32Updated last year
- Distributed Systems Reading Group☆20Updated 7 years ago
- A Pure Rust Implementation of Egalitarian Paxos☆48Updated 4 years ago