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