★
Examples 是用 TLA 编写的资源清单，按主题汇总同类优质资源。
A collection of TLA⁺ specifications of varying complexities.
spacejam / tla-rust
tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
tla-rust 是用 TLA 编写的开源项目，主题标签有限，建议打开仓库查看具体用途，主打可伸缩、开源免费。
目前累计 1.1k star、26 fork，主要语言为 TLA，项目始于 2017 年。最近状态：已有一段时间未更新。适合：正在做技术选型的开发者。
中文介绍优先采用本站人工维护条目；无维护条目时依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经项目方确认，不构成选型结论。spacejam/tla-rust 是一个以 TLA 为主的开源项目，目前累计 1.1k star、26 fork，较长时间未更新。主要方向：distributed、lock-free、model-checking、Rust、tla。
依据 GitHub 公开字段（语言、主题、星标、提交时间）自动生成，未经人工逐项核实。