由于 trendforge.devlive.top 访问受限，请切换到 trendforge.devlive.org 域名

specifications

话题找到数量

tlaplus/tlaplus

Java

TLC 是一款用于检查 TLA+ 语言所编写规格的模型检查器。TLA+Toolbox 是 TLA+ 的集成开发环境。

algorithms high-performance java
tlaplus
tlaplus 开发者
2.8k
243
417
+24
排名 #13
3月16日
查看详情

zcash/zips

TeX

Zcash改进提案

cryptocurrency cryptography specifications
zcash
zcash 开发者
304
179
386
排名 #12
6月20日
查看详情
助手