Alternatives and similar repositories for Learn-TLA-cn

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

• JerryYangSH / LockFreeProgrammingPractice
  Lock free 论文集合，若干无锁数据结构实现的经典论文，500多页
  ☆51Updated 8 years ago
• kingshaohua / aries
  aries协议
  ☆21Updated 11 years ago
• JimChengLin / levi-db
  levi-db is a fast database engine
  ☆36Updated 7 years ago
• turingcell / paxos-made-easy
  Paxos Made Easy: The Geometric Meaning and Geometric Proof of Paxos Algorithm
  ☆142Updated 4 years ago
• pingcap / jepsen
  A framework for distributed systems verification, with fault injection
  ☆46Updated 3 weeks ago
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 years ago
• pingcap / blog-cn
  ☆129Updated 2 years ago
• CatKang / Solitaire
  Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model
  ☆17Updated 6 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆18Updated 8 years ago
• kayaklee / libhalog
  Libhalog is an open-source high available redo-log library using multiple paxos.
  ☆37Updated 7 years ago
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆120Updated last month
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 5 years ago
• pingcap / meetup
  ☆38Updated 4 years ago
• leebaok / jemalloc-4.2.1-readcode
  annotate the source code of jemalloc 4.2.1
  ☆111Updated 4 months ago
• Charles0429 / dstore
  a distributed storage engine
  ☆89Updated 8 years ago
• lichuang / paxos
  Paxos algorithm demo,from mit 6.824 lab 3
  ☆25Updated 8 years ago
• Starydark / PaxosStore-tla
  Specifying and Verifying the consensus algorithm in PaxosStore using TLA+
  ☆21Updated 4 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆88Updated 7 years ago
• neverchanje / consensus-yaraft
  consensus-yaraft is a library for distributed, strong consistent, highly replicated log storage. It's based on yaraft, which is an implem…
  ☆29Updated 7 years ago
• sbinet / perfbook
  mirror of git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/perfbook.git
  ☆73Updated 12 years ago
• KernelMaker / blackwidow
  A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb
  ☆42Updated 5 years ago
• pingcap / tla-plus
  ☆299Updated last year
• siddontang / tlaplus-example
  ☆17Updated 7 years ago
• lrita / favor_repos
  ☆60Updated last year
• wenzhengjiang / caskdb
  A distributed key-value store
  ☆31Updated 7 years ago
• LearningOS / rcore_step_by_step_old2
  https://learningos.github.io/rcore_step_by_step_webdoc/
  ☆39Updated 5 years ago
• rsy56640 / triviality
  record some trivialities
  ☆53Updated last year
• hawkingrei / papers-notebook
  📄 🇨🇳 papers I have read
  ☆28Updated 4 years ago
• neverchanje / yaraft
  Yet Another RAFT implementation
  ☆126Updated 6 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago