cos418atPrinceton / assignments_templateLinks
☆30Updated last year
Alternatives and similar repositories for assignments_template
Users that are interested in assignments_template are comparing it to the libraries listed below
Sorting:
- 6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)☆206Updated 7 years ago
- CSE535 Asynchronous (Distributed) Systems 2019 Spring☆28Updated 6 years ago
- A collection of state machine replication protocols☆120Updated 2 years ago
- How do we build a distributed, transactional key-value database - TiKV?☆97Updated 6 years ago
- ⛵ A distributed key-value store based on Raft. (WIP)☆44Updated 5 years ago
- Specifying and Verfying concensus algorithms in PolarDB using TLA+☆59Updated last year
- The labs of Raft consensus algorithm based on MadSim.☆125Updated 7 months ago
- Prototype implementation of SwiftPaxos (NSDI 2024)☆19Updated last year
- A yaml-based SQL planner test framework☆27Updated 9 months ago
- The home page of database meetup☆78Updated 3 years ago
- A pluggable implementation of the Egalitarian Paxos Consensus Protocol☆61Updated 4 years ago
- Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.☆140Updated 2 years ago
- Resources for the transaction SIG☆62Updated 3 years ago
- Time, Clocks, and the Ordering of Events☆41Updated 4 years ago
- A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems☆172Updated 5 years ago
- framework for evaluating (planet-scale) consensus protocols☆128Updated last year
- A toy memory store with great performance☆36Updated 3 years ago
- TLA+ specification for the Raft consensus algorithm☆19Updated 9 years ago
- Personal reading list/reference re: TLA+☆90Updated 7 years ago
- ☆22Updated 4 months ago
- The project folder of the 15-445 Introduction to Database system☆45Updated 7 years ago
- TLA+ specification for the Raft consensus algorithm☆497Updated 7 months ago
- The TiKV development/contribution guide☆35Updated 3 years ago
- record paper reading notes☆42Updated 2 years ago
- Readings in Stream Processing☆125Updated 2 months ago
- Example multi-paxos application for those learning Paxos & multi-paxos☆93Updated 6 years ago
- Implementation of Google File System☆54Updated 10 years ago
- ☆32Updated last year
- paper collections in database/distributed system/operating system/crypto/arch/security&privacy☆82Updated 3 years ago
- Distributed Systems Consistency Reading Group☆42Updated 5 years ago