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

formal

话题找到数量

AeneasVerif/aeneas

OCaml

面向 Rust 程序的验证工具链

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

cryspen/hax

OCaml

一款 Rust 验证工具

formal-verification rust
cryspen
cryspen 开发者
463
66
232
排名 #10
8月4日
查看详情

JuliaReach/LazySets.jl

Julia

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

calculus computational-geometry convex-hull
JuliaReach
JuliaReach 开发者
258
39
247
排名 #12
6月25日
查看详情

ucb-bar/chiseltest

Scala

面向Chisel设计RTL的全功能测试与形式验证库

chisel formal testing
ucb-bar
ucb-bar 开发者
234
75
562
排名 #19
7月14日
查看详情

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
432
+1
排名 #10
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
500
排名 #5
7月3日
查看详情
助手