开源序GitHub 开源项目排行

tlaplus / tlaplus

TLC 是一个模型检查器，用于检查以 TLA+ 编写的规范。 TLA+Toolbox 是 TLA+ 的 IDE。

仓库 Star: 3,199总榜 #18,546
Fork: 280
最近推送: 今天更新
仓库创建: 2016 年创建

应用与完整系统开发工具JavaMIT · 宽松，可直接商用

用途与标签

开发者工具 # algorithms # high-performance # java # mit-license # model-checking # specifications # tla # verification

Star 走势

含按 GitHub 历史估算的数值

原始观测记录 · 2

历史观测
采集时间	仓库 Star	数据来源
2026-11-06 14:46 UTC	3,199	数据来源
2026-11-02 19:00 UTC	3,173	数据来源