[WIP]TLA+教程中文翻译
☆49Jul 21, 2018Updated 7 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.
Sorting:
- Tests with PlusCal / TLA+☆25Jan 12, 2017Updated 9 years ago
- ☆14Apr 1, 2023Updated 3 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- Linux Network Speed Monitor☆10Apr 30, 2015Updated 11 years ago
- A library implements REDIS commands(Strings, Hashes, Lists, Sorted Sets, Sets, Keys, HyperLogLog) based on rocksdb☆41Apr 29, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago
- learn linux for notes☆12Jan 28, 2021Updated 5 years ago
- CodeQL library and queries for iterator invalidation☆22Mar 12, 2026Updated 3 months ago
- Intro to Rust talk☆15Dec 7, 2022Updated 3 years ago
- Run Lighthouse performance audit with TestCafe☆11Nov 9, 2023Updated 2 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,517May 25, 2026Updated 3 weeks ago
- 跨平台、轻量级事件触发网络库☆15Mar 16, 2017Updated 9 years ago
- ☆20Apr 13, 2026Updated 2 months ago
- Jaspersoft Studio (Community Edition)☆10Jun 25, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆22Oct 9, 2022Updated 3 years ago
- Papers about Distributed System☆50Apr 30, 2026Updated last month
- An AI-powered coding assistant plugin for the Eclipse IDE.☆14Oct 28, 2025Updated 7 months ago
- ☆11Oct 28, 2020Updated 5 years ago
- Coroutine library and toolkit for C++20☆39May 4, 2026Updated last month
- The website for RustCon Asia 2018 in Beijing, China.☆33Feb 1, 2021Updated 5 years ago
- LibAFLGo: Evaluating and Advancing Directed Greybox Fuzzing☆26Mar 4, 2026Updated 3 months ago
- 鼠标动作录制回放工具☆14Sep 12, 2020Updated 5 years ago
- Distributed Protocol Combinators☆14Apr 11, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆32May 27, 2026Updated 2 weeks ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- ☆32Aug 10, 2020Updated 5 years ago
- Eclipse TranslatorHelper: An eclipse plugin, help you looking up words online. (YouDao API)☆13Apr 5, 2017Updated 9 years ago
- ☆22Feb 27, 2026Updated 3 months ago
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29May 4, 2026Updated last month
- Introduction to MLIR and xDSL training course☆20Oct 2, 2023Updated 2 years ago
- Collect some useful SWT widgets for my applications.☆15Oct 15, 2014Updated 11 years ago
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- https://12k.tech☆12Sep 6, 2020Updated 5 years ago
- ☆10Dec 16, 2025Updated 5 months ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- ☆17Jan 31, 2023Updated 3 years ago
- blog☆11Feb 4, 2026Updated 4 months ago
- asnfuzzgen - ASN.1 Structure-Aware Fuzzing Compiler☆52Aug 27, 2024Updated last year
- An experimental implementation of 'try' operator for Go☆13Jun 13, 2019Updated 7 years ago