ya-ming / irsdp

Related projects ⓘ

Alternatives and complementary repositories for irsdp

• Andrew-liu / mit-6.824-2015
  MIT 6.824 - Distributed Systems - Spring 2015
  ☆11Updated 8 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆50Updated last month
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆24Updated 5 years ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆184Updated 6 years ago
• CMU-440-F16 / p3
  Implement the Paxos Algorithm
  ☆17Updated 7 years ago
• RingsC / Papers
  The papers i have read
  ☆22Updated 5 months ago
• TsinghuaDatabaseGroup / CloudDB
  continuously update cloud database papers
  ☆79Updated 5 months ago
• fuyufjh / calculator
  A simple calculator to demonstrate code gen technology
  ☆27Updated 5 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 2 years ago
• zhoubolei / GoSpark
  ☆77Updated 10 years ago
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆104Updated last month
• jackdent / cs265-lsm-tree
  A key-value store implemented as a Log-Structured Merge Tree in C++
  ☆71Updated 7 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆86Updated 6 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆67Updated 3 years ago
• deepmehtait / Distributed-file-system-server-with-RAFT
  Distributed File System server implemented using RAFT Algorithm.
  ☆16Updated 5 years ago
• warlo / rocksdb-statistics
  db_bench log parser
  ☆17Updated last year
• DevinZ1993 / SimpleDB-Database-System
  Labs of MIT 6.830 Database Systems
  ☆54Updated 7 years ago
• xnnyygn / xgossip
  gossip based membership management and failure detection
  ☆10Updated last month
• mwhittaker / frankenpaxos
  A collection of state machine replication protocols
  ☆118Updated last year
• feilengcui008 / distributed_system_readings
  A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems
  ☆172Updated 4 years ago
• splvm / database-meetup
  The home page of database meetup
  ☆77Updated 2 years ago
• pentium3 / AutoTiKV
  ☆22Updated last year
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 3 years ago
• rsy56640 / paper-reading
  record paper reading notes
  ☆42Updated last year
• Nov11 / 15-445
  CMU 15-445 2017 (force pushed to erase my works)
  ☆59Updated 4 years ago
• sherrybai / chubby
  Project for COS 518: distributed lock service
  ☆25Updated 5 years ago
• pingcap / meetup
  ☆37Updated 4 years ago