leviathan0992/Learn-TLA-cn external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

leviathan0992/Learn-TLA-cn

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/leviathan0992/Learn-TLA-cn)

Close

leviathan0992 / Learn-TLA-cnView on GitHubMore

• External links
• Readme badge

[WIP]TLA+教程中文翻译

☆49Jul 21, 2018Updated 8 years ago

Alternatives and similar repositories for Learn-TLA-cn

Users that are interested in Learn-TLA-cn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• hengxin / tlaps-examples

  View on GitHub
  Examples for TLAPS (TLA+ Proof System)
  ☆17May 9, 2020Updated 6 years ago
• belaban / pluscal

  View on GitHub
  Tests with PlusCal / TLA+
  ☆25Jan 12, 2017Updated 9 years ago
• KernelMaker / blackwidow

  View on GitHub
  A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb
  ☆41Apr 29, 2020Updated 6 years ago
• KeKe-Li / linux-notes

  View on GitHub
  learn linux for notes
  ☆12Jan 28, 2021Updated 5 years ago
• leviathan0992 / Luves

  View on GitHub
  跨平台、轻量级事件触发网络库
  ☆15Mar 16, 2017Updated 9 years ago
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• trailofbits / itergator

  View on GitHub
  CodeQL library and queries for iterator invalidation
  ☆22Mar 12, 2026Updated 4 months ago
• tlaplus / Examples

  View on GitHub
  A collection of TLA⁺ specifications of varying complexities.
  ☆1,543Jul 21, 2026Updated last week
• philzook58 / datalog-book

  View on GitHub
  A book about datalog
  ☆13Nov 26, 2022Updated 3 years ago
• jukofyork / aiassistant

  View on GitHub
  An AI-powered coding assistant plugin for the Eclipse IDE.
  ☆14Oct 28, 2025Updated 9 months ago
• CloudOLTP / Cornus

  View on GitHub
  ☆22Oct 9, 2022Updated 3 years ago
• altfatterz / spring-cloud-dataflow-streaming-example

  View on GitHub
  Spring Cloud Data Flow Streaming Example
  ☆10Mar 17, 2018Updated 8 years ago
• Jordan-Kowal / django-react-starter

  View on GitHub
  Django-React starter with Docker support for fast and easy web development.
  ☆15Sep 2, 2025Updated 10 months ago
• fesugar / Recording

  View on GitHub
  鼠标动作录制回放工具
  ☆14Sep 12, 2020Updated 5 years ago
• chkpk / mysql-async-example

  View on GitHub
  example using non-blocking API from mariadb-connector-c to connect a mysql database.
  ☆13Mar 26, 2015Updated 11 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• GaloisInc / surveyor

  View on GitHub
  A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs
  ☆20Jan 14, 2021Updated 5 years ago
• mc-imperial / dredd

  View on GitHub
  A mutation testing tool designed to work with large C++ (and C) codebases.
  ☆13Jul 13, 2026Updated 2 weeks ago
• cromulencellc / chess-aces

  View on GitHub
  ☆12Nov 2, 2022Updated 3 years ago
• cytle / blog

  View on GitHub
  blog
  ☆11Feb 4, 2026Updated 5 months ago
• hubinix / kamike.fast

  View on GitHub
  UDP large file transfer protocol and kernel code in java.
  ☆11Feb 23, 2014Updated 12 years ago
• mistymntncop / CVE-2022-26485

  View on GitHub
  ☆17Jan 31, 2023Updated 3 years ago
• rhysd / trygo

  View on GitHub
  An experimental implementation of 'try' operator for Go
  ☆13Jun 13, 2019Updated 7 years ago
• tum-db / cachecoherence

  View on GitHub
  ☆13May 11, 2026Updated 2 months ago
• cloudwu / skynet_transaction

  View on GitHub
  A example of transaction
  ☆20Jul 13, 2016Updated 10 years ago
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• cokeBeer / LibAFL-Learn

  View on GitHub
  一个中文版本的 LibAFL 笔记，主要内容是 LibAFL 原理相关的内容，同时也附加一些 LibAFL 使用方面的 tips ，方便查阅和参考。
  ☆36Nov 22, 2023Updated 2 years ago
• HuXioAn / Dorm-Executor

  View on GitHub
  能用QQ控制空调的ESP32遥控器，同时支持蓝牙BLE。
  ☆14Apr 8, 2022Updated 4 years ago
• glampert / parse-utils

  View on GitHub
  C++ utilities for lexing and parsing of script languages and configuration files.
  ☆12Dec 23, 2017Updated 8 years ago
• kioopi / extedit

  View on GitHub
  Open an editor as part of the interface of a command line tool. Think `git rebase -i`
  ☆10Nov 18, 2018Updated 7 years ago
• pingcap / tla-plus

  View on GitHub
  ☆310Jun 9, 2024Updated 2 years ago
• leviathan0992 / MySQL-8.0.25

  View on GitHub
  MySQL 8.0.25 (InnoDB) 中文注释
  ☆25Jul 31, 2025Updated 11 months ago
• cockroachdb / cockroach-gen

  View on GitHub
  CockroachDB with pre-generated Go code
  ☆32Mar 15, 2024Updated 2 years ago
• auxten / SQL-On-Everything

  View on GitHub
  Query on Everything with SQL
  ☆16Oct 29, 2024Updated last year
• changkun / pkg

  View on GitHub
  🥼 personal Go codebase
  ☆38Dec 31, 2022Updated 3 years ago
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• levelupresearch / sparclur

  View on GitHub
  PDF Analyzer and Render Comparer
  ☆11May 6, 2022Updated 4 years ago
• Jezurko / potato

  View on GitHub
  Experimental MLIR based points-to analysis tool
  ☆18Apr 29, 2026Updated 3 months ago
• yuanqinguo / NetServer

  View on GitHub
  使用libevent开发的高并发后台服务器架构，包含：mysql分区管理层，redis分区管理层，网络层，请求对象业务层，操作日志记录层，调试日志，支持ssl会话加密
  ☆22Jun 12, 2015Updated 11 years ago
• chestnutme / kv-store-survey

  View on GitHub
  survey and analysis of kv-stores in academia and industry
  ☆10Aug 31, 2019Updated 6 years ago
• elvisren-zz / foundation-of-distributed-financial-systems

  View on GitHub
  介绍金融级分布式系统的理论和实践基础
  ☆11Aug 8, 2020Updated 5 years ago
• jk316 / paper-on-LSM-Tree

  View on GitHub
  colletions of papers on LSM-Tree
  ☆22Mar 6, 2022Updated 4 years ago
• ziyi-yan / green-threads

  View on GitHub
  Toy implementation of Green Threads based on https://cfsamson.gitbook.io/green-threads-explained-in-200-lines-of-rust
  ☆10Jul 24, 2020Updated 6 years ago