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

proofs

话题找到数量

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

compiler coq deductive-reasoning
AeneasVerif
AeneasVerif 开发者
889
94
412
+1
排名 #9
8月4日
查看详情

FStarLang/karamel

OCaml

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

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

supranational/sppark

Cuda

零知识模板库

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