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

verification

话题找到数量

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
1.2k
+1
排名 #10
6月21日
查看详情

vehicle-lang/vehicle

Haskell

用于在神经网络上实施逻辑规范的工具包

agda haskell neural-network
vehicle-lang
vehicle-lang 开发者
130
16
989
排名 #25
6月26日
查看详情

pq-code-package/mldsa-native

Assembly

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

formal-verification ml-dsa post-quantum-cryptography
pq-code-package
pq-code-package 开发者
99
54
1.4k
排名 #15
8月5日
查看详情

viperproject/silver

Scala

Viper中间验证语言的定义

programming-language verification viper
viperproject
viperproject 开发者
98
53
1k
排名 #20
6月28日
查看详情

syntacore/snippy

LLVM

llvm-snippy 指令序列生成器

fuzzing generator isg
syntacore
syntacore 开发者
90
17
1.5k
排名 #2
7月13日
查看详情
助手