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

formal-verification

话题找到数量

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

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

cryspen/hax

OCaml

一款 Rust 验证工具

formal-verification rust
cryspen
cryspen 开发者
453
60
137
+6
排名 #19
6月29日
查看详情

JuliaReach/LazySets.jl

Julia

Julia中可扩展的符号-数值集合计算

calculus computational-geometry convex-hull
JuliaReach
JuliaReach 开发者
259
39
148
排名 #20
6月25日
查看详情

pq-code-package/mlkem-native

Assembly

基于C90的ML-KEM/FIPS 203安全、快速且可移植的实现方案

cryptography-library formal-verification ml-kem
pq-code-package
pq-code-package 开发者
202
56
329
+14
排名 #17
6月21日
查看详情

pq-code-package/mldsa-native

Assembly

安全、快速且可移植的ML-DSA/FIPS 204 C90标准实现

formal-verification ml-dsa post-quantum-cryptography
pq-code-package
pq-code-package 开发者
90
51
368
+1
排名 #17
7月3日
查看详情
助手