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 12 years ago
• pingcap / blog-cn
  ☆130Updated 2 years ago
• pingcap / tla-plus
  ☆302Updated last year
• turingcell / turingcell
  TuringCell: Run Linux over Paxos/Raft
  ☆77Updated 5 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
  ☆141Updated 4 years ago
• francis0407 / SQL-Engine-On-LSM
  A toy SQL engine built on top of LSM(LevelDB)
  ☆22Updated 6 years ago
• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆120Updated 7 months ago
• pingcap / jepsen
  A framework for distributed systems verification, with fault injection
  ☆46Updated this week
• y123456yz / reading-and-annotate-wiredtiger-3.0.0
  文档数据库mongodb kv存储引擎wiredtiger源码详细分析注释
  ☆68Updated 5 months ago
• pingcap / meetup
  ☆38Updated 5 years ago
• databendlabs / datafuse-presentations
  Presentations, meetups and talks about Databend
  ☆73Updated 3 years ago
• lichuang / awesome-linux-system-cn
  收集网络上讲解Linux系统原理的优秀文章、文档
  ☆79Updated 5 years ago
• gfreewind / kernel_comment
  中文注释说明内核源码
  ☆174Updated 7 years ago
• Charles0429 / dstore
  a distributed storage engine
  ☆90Updated 9 years ago
• cmschmtt / tla-plus-resources
  Personal reading list/reference re: TLA+
  ☆90Updated 7 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆19Updated 9 years ago
• hawkingrei / papers-notebook
  📄 🇨🇳 papers I have read
  ☆28Updated 4 years ago
• KernelMaker / blackwidow
  A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb
  ☆42Updated 5 years ago
• y123456yz / reading-and-annotate-rocksdb-6.1.2
  rocksdb-6.1.2 KV存储引擎源码中文注释分析,后期与mongodb默认KV存储引擎wiredtiger进行原理与性能比较，近期持续更新
  ☆126Updated 11 months ago
• RapidsBlink / service-mesh-agent
  Blink`团队 (https://github.com/WANG-lp and https://github.com/CheYulin ), Service mesh agent in pure c (使用intrinsics编写向量化代码)，第四届阿里中间件初赛代码，…
  ☆45Updated 5 years ago
• kayaklee / libhalog
  Libhalog is an open-source high available redo-log library using multiple paxos.
  ☆37Updated 7 years ago
• HappyCS-Gu / Parallel-Raft-tla
  Specifying and Verfying concensus algorithms in PolarDB using TLA+
  ☆59Updated last year
• BohuTANG / omt
  A cache-efficiency weight balanced binary tree
  ☆71Updated 11 years ago
• huoyu820125 / SecondPaxos
  1张图论证Paxos，比数学论证好理解的多，让你秒懂Paxos。 本项目从理论与代码上双重论证Paxos。 我相信本项目会是你在网上所能找到的，最通俗，最简洁，最完整（表现在不仅有理论，而且有实现代码和测试代码）的Paxos讲解与论证资料。 提供c++ java版本pax…
  ☆163Updated 8 years ago
• leebaok / jemalloc-4.2.1-readcode
  annotate the source code of jemalloc 4.2.1
  ☆116Updated 9 months ago
• leviathan0992 / Atendb
  The tiny bitcask storage engine
  ☆113Updated 7 years ago
• PingCAP-QE / clustered-index-rand-test
  ☆12Updated 2 years ago
• brandonwang001 / raft_translation
  Raft中文版
  ☆79Updated 2 years ago