主题 · tla

tla

标记 tla 主题、收录中的开源项目，按星标数排序。

项目数

3

总星标数

4,127

平均星标数

1,376

占比

0.00%

常跟 tla 一起出现在同一个项目上的主题。

近期新秀

近 90 天内创建、标记 tla 主题的项目。

近 90 天内还没有新项目标记这个主题。

#1
tlaplus ↗@tlaplusJava
TLC 是一个用于 TLA+ 规范的模型检查器。TLA+Toolbox 是 TLA+ 的 IDE。
★ 3,026+7近 7 天星标变化
#2
apalache ↗@apalache-mcScala
APALACHE：用于 TLA+ 与 Quint 的符号式模型检查器
★ 596+2近 7 天星标变化
#3
BlockingQueue ↗@lemmyTLA
教程“数周的调试可以为你节省数小时的 TLA+”。每个 git commit 都引入了一个新概念 => 检查 git 历史记录！
★ 506+0近 7 天星标变化

← 返回主题列表