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

proofs

话题找到数量

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
968
107
938
+2
排名 #6
9月17日
查看详情

FStarLang/karamel

OCaml

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

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

supranational/sppark

Cuda

零知识模板库

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