cos418atPrinceton / assignments_template

Related projects ⓘ

Alternatives and complementary repositories for assignments_template

• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆184Updated 6 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆50Updated last month
• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 5 years ago
• XiangpengHao / bf-tree-docs
  Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index
  ☆45Updated last month
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• splvm / database-meetup
  The home page of database meetup
  ☆77Updated 2 years ago
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 3 years ago
• mwhittaker / quoracle
  A Swiss Army knife for read-write quorum systems
  ☆84Updated 3 years ago
• belliottsmith / accord
  ☆26Updated 2 years ago
• BugenZhao / Raft
  🗳 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 2 years ago
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆25Updated this week
• COS418F18 / assignments_template
  ☆32Updated 11 months ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆29Updated 2 years ago
• viktorleis / mmapbench
  ☆129Updated 2 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 5 years ago
• nvanbenschoten / epaxos
  A pluggable implementation of the Egalitarian Paxos Consensus Protocol
  ☆60Updated 4 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆73Updated last year
• nvanbenschoten / rafttoy
  A playground to experiment with Raft proposal pipeline optimization
  ☆17Updated 2 years ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆113Updated last year
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• TsinghuaDatabaseGroup / CloudDB
  continuously update cloud database papers
  ☆79Updated 5 months ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆108Updated last year
• Nov11 / 15-445
  CMU 15-445 2017 (force pushed to erase my works)
  ☆59Updated 4 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 5 years ago
• cwi-swat / tla-ci
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆24Updated 8 months ago
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago