ya-ming / irsdp

Related projects ⓘ

Alternatives and complementary repositories for irsdp

• feilengcui008 / distributed_system_readings
  A list of papers, conferences, books, mooc, Q&A and other stuffs for distributed systems
  ☆172Updated 4 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆50Updated 2 months ago
• alinush / 6.824-lecture-notes
  6.824 Distributed Systems: Lecture notes (edited a little and formatted with Markdown)
  ☆186Updated 6 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆86Updated 6 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 2 years ago
• zhoubolei / GoSpark
  ☆77Updated 10 years ago
• pingcap / meetup
  ☆37Updated 4 years ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 4 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆24Updated 5 years ago
• tikv / auto-tikv
  Tool to tune TiKV with ML method
  ☆67Updated 4 years ago
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆104Updated last month
• pingcap / blog-cn
  ☆127Updated last year
• cmu-db / peloton-design
  Peloton Design Docs
  ☆27Updated 6 years ago
• cmu440 / intro-to-go
  This repository contains code snippets discussed in 15-440, lecture 4 (given on 1/23/2014).
  ☆31Updated 10 years ago
• xnnyygn / xgossip
  gossip based membership management and failure detection
  ☆10Updated 2 months ago
• 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
• fuyufjh / calculator
  A simple calculator to demonstrate code gen technology
  ☆27Updated 5 years ago
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 3 years ago
• pentium3 / AutoTiKV
  ☆22Updated last year
• siddontang / tlaplus-example
  ☆17Updated 6 years ago
• openacid / paxoskv
  Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/
  ☆237Updated last year
• warlo / rocksdb-statistics
  db_bench log parser
  ☆17Updated last year
• tellproject / tellstore
  A in-memory storage manager, that can do versioning and fast scans
  ☆50Updated 8 years ago
• DistSysCorp / sources
  good sources for distributed system and database
  ☆59Updated last year
• kkkwjx / CMU440
  ☆32Updated 7 years ago
• tikv / rocksdb
  A library that provides an embeddable, persistent key-value store for fast storage.
  ☆120Updated 2 weeks ago
• shenli / sql-layer
  ☆59Updated 9 years ago
• hawkingrei / papers-notebook
  📄 🇨🇳 papers I have read
  ☆28Updated 3 years ago
• tiglabs / raft
  an implementation of raft in Go
  ☆159Updated 3 years ago