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

mal

话题找到数量

cryspen/hax

OCaml

一款 Rust 验证工具

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

abhinavs/moonwalk

SCSS

一款快速极简的Jekyll博客主题，配备纯净的深色模式

dark-mode fast github-pages
abhinavs
abhinavs 开发者
409
577
412
+1
排名 #12
3月31日
查看详情

safedep/pmg

Go

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

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

JuliaReach/LazySets.jl

Julia

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

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

mandiant/VM-Packages

PowerShell

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

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

ucb-bar/chiseltest

Scala

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

chisel formal testing
ucb-bar
ucb-bar 开发者
234
75
476
排名 #20
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
365
+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
413
+1
排名 #17
7月3日
查看详情

harmoniqs/Piccolo.jl

Julia

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

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