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

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
362
+14
排名 #17
6月21日
查看详情

vehicle-lang/vehicle

Haskell

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

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

viperproject/silver

Scala

Viper中间验证语言的定义

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

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
411
+1
排名 #17
7月3日
查看详情

syntacore/snippy

LLVM

llvm-snippy 指令序列生成器

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