❤️❤️❤️❤️❤️❤️ 我们已经正式推出微信小程序，在微信中搜索 TrendForge Pro 即可使用小程序，如果使用 Telegram 请搜索 trendforge_tg ❤️❤️❤️❤️❤️❤️

proofs

话题找到数量

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
853
86
292
+56
排名 #18
7月13日
查看详情

FStarLang/karamel

OCaml

KaRaMeL 是一款将底层 F* 程序提取为可读 C 代码的工具

c-language cryptography f-star
FStarLang
FStarLang 开发者
515
72
200
排名 #23
6月29日
查看详情

supranational/sppark

Cuda

零知识模板库

bls12-377 bls12-381 cuda
supranational
supranational 开发者
220
98
78
+1
排名 #12
7月13日
查看详情
助手