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

mal

话题找到数量

safedep/pmg

Go

PMG 通过代理、沙箱以及 SafeDep 的威胁情报源，保护开发者与 AI 代理免受恶意开源软件包的侵害。

developer-tools devsecops hacktoberfest
safedep
safedep 开发者
335
25
275
+8
排名 #13
5月21日
查看详情

JuliaReach/LazySets.jl

Julia

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

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

mandiant/VM-Packages

PowerShell

支持分析环境项目 FLARE-VM 与 Commando VM 的 Chocolatey 软件包。

chocolatey-packages flare malware-analysis
mandiant
mandiant 开发者
237
96
192
排名 #19
6月29日
查看详情

ucb-bar/chiseltest

Scala

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

chisel formal testing
ucb-bar
ucb-bar 开发者
234
75
567
排名 #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
433
+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日
查看详情

harmoniqs/Piccolo.jl

Julia

一个用于通过直接轨迹优化求解量子最优控制问题的Julia软件包。

direct-collocation iterative-learning-control julia
harmoniqs
harmoniqs 开发者
56
26
385
排名 #8
7月25日
查看详情
助手