cos418atPrinceton / assignments_template

Related projects ⓘ

Alternatives and complementary repositories for assignments_template

• shuaimu / ds19spring
  CSE535 Asynchronous (Distributed) Systems 2019 Spring
  ☆28Updated 5 years ago
• tikv / deep-dive-tikv
  How do we build a distributed, transactional key-value database - TiKV?
  ☆97Updated 5 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆186Updated 6 years ago
• tikv / sig-transaction
  Resources for the transaction SIG
  ☆63Updated 2 years ago
• splvm / database-meetup
  The home page of database meetup
  ☆77Updated 2 years ago
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• risinglightdb / sqlplannertest-rs
  A yaml-based SQL planner test framework
  ☆25Updated 2 weeks ago
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆109Updated last year
• vitorenesduarte / fantoch
  framework for evaluating (planet-scale) consensus protocols
  ☆126Updated 8 months ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆43Updated 4 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
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆50Updated 2 months ago
• penberg / tihku
  Optimistic multi-version concurrency control (MVCC) for main memory databases, written in Rust.
  ☆113Updated last year
• XiangpengHao / bf-tree-docs
  Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index
  ☆46Updated last month
• BusyJay / mini-pd
  A minimal implementation of tikv/pd in Rust.
  ☆64Updated 3 years ago
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆73Updated last year
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• PingCAP-QE / Naglfar
  An automatic test pipeline for distributed systems.
  ☆17Updated 3 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆59Updated 2 years ago
• viktorleis / mmapbench
  ☆130Updated 2 years ago
• MrCroxx / RunKV
  [WIP] An experimental cloud-native distributed KV engine for OLTP workload.
  ☆68Updated last year
• mwhittaker / clocks
  Time, Clocks, and the Ordering of Events
  ☆41Updated 3 years ago
• xingdl2007 / 6.828-2017
  JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.
  ☆27Updated 6 years ago
• tikv / tikv-dev-guide
  The TiKV development/contribution guide
  ☆34Updated 2 years ago
• BenningtonCS / GFS
  Implementation of Google File System
  ☆54Updated 9 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆29Updated 2 years ago
• muratdem / PlusCal-examples
  Pluscal/TLA+ modeling of distributed systems/protocols
  ☆78Updated last year
• Nov11 / 15-445
  CMU 15-445 2017 (force pushed to erase my works)
  ☆59Updated 4 years ago
• TsinghuaDatabaseGroup / CloudDB
  continuously update cloud database papers
  ☆79Updated 6 months ago