开源序
GitHub 开源项目排行
返回榜单
H
h5i-dev /
h5i
基于 Axum 的 Rust Web 框架，用于使用 Lean 4 构建和验证 Web 应用程序，具有可选的 GPU 加速以及用于红队和 CI/CD 的集成开发基础设施。
仓库 Star
896
总榜 #20,590
Fork
79
最近推送
今天更新
仓库创建
2026 年创建
框架、SDK 与组件库
前端框架
Rust
Apache-2.0 · 宽松，可直接商用
查看源码
收藏
加入对比
加入收藏夹
用途与标签
介绍
README
网站应用开发
# ai-safety
# ai-security
# bug-bounty
# cloudflare
# ctf
# cuda-kernels
# cybersecurity
# ethical-hacking
# formal-verification
# gpu-acceleration
# gpu-programming
# hacking
# lean4
# offensive-security
# penetration-testing
# red-team
# theorem-proving
# vercel
# web-security
原始观测记录 · 2
历史观测
采集时间
仓库 Star
数据来源
2026-11-06 09:31 UTC
896
数据来源
2026-11-02 18:59 UTC
887
数据来源
