Alternatives and similar repositories for Learn-TLA-cn:

Users that are interested in Learn-TLA-cn are comparing it to the libraries listed below

• pingcap / blog-cn
  ☆127Updated last year
• pingcap / meetup
  ☆37Updated 4 years ago
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆141Updated 3 years ago
• kingshaohua / aries
  aries协议
  ☆21Updated 11 years ago
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 6 years ago
• JerryYangSH / LockFreeProgrammingPractice
  Lock free 论文集合，若干无锁数据结构实现的经典论文，500多页
  ☆50Updated 7 years ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 4 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆18Updated 8 years ago
• KernelMaker / blackwidow
  A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb
  ☆42Updated 4 years ago
• pingcap / jepsen
  A framework for distributed systems verification, with fault injection
  ☆47Updated 3 weeks ago
• Charles0429 / dstore
  a distributed storage engine
  ☆87Updated 8 years ago
• sebarzi / interview_scheduler
  This project tries to list some questions for interviewer when looking for scheduler job. All of the questions are base on the experience…
  ☆40Updated 6 years ago
• draveness / linux-archive
  Linux archive for studying the process scheduler. 调度系统设计精要 http://draveness.me/system-design-scheduler
  ☆88Updated 4 years ago
• lichuang / paxos
  Paxos algorithm demo,from mit 6.824 lab 3
  ☆25Updated 8 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 5 years ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆16Updated 6 years ago
• leebaok / jemalloc-4.2.1-readcode
  annotate the source code of jemalloc 4.2.1
  ☆111Updated 8 years ago
• hawkingrei / papers-notebook
  📄 🇨🇳 papers I have read
  ☆28Updated 3 years ago
• Qihoo360 / floyd
  A raft consensus implementation that is simply and understandable
  ☆152Updated 4 years ago
• pingcap / go-randgen
  a QA tool to random generate sql by bnf pattern
  ☆76Updated last year
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 2 years ago
• y123456yz / reading-and-annotate-wiredtiger-3.0.0
  文档数据库mongodb kv存储引擎wiredtiger源码详细分析注释
  ☆67Updated last week
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆114Updated this week
• chaosblade-io / chaosblade-exec-cplus
  C++ 应用混沌实验执行器
  ☆35Updated 6 months ago
• kayaklee / uthread
  A simple coroutine
  ☆39Updated 10 years ago
• y123456yz / reading-and-annotate-rocksdb-6.1.2
  rocksdb-6.1.2 KV存储引擎源码中文注释分析,后期与mongodb默认KV存储引擎wiredtiger进行原理与性能比较，近期持续更新
  ☆115Updated 3 weeks ago
• neverchanje / yaraft
  Yet Another RAFT implementation
  ☆126Updated 6 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆51Updated 4 months ago
• xiajian / LinuxPreformanceBook
  Linux Performance and Tuning Guidelines的中文翻译
  ☆102Updated 9 years ago
• siddontang / tlaplus-example
  ☆17Updated 6 years ago