h5i-dev/h5i

An Axum-based Rust web framework for building and verifying web apps with Lean 4, featuring optional GPU acceleration and integrated development infrastructure for red-teaming and CI/CD.

语言：Rust · GitHub 星标：886 · Fork：77

话题：ai-safety · ai-security · bug-bounty · cloudflare · ctf · cuda-kernels · cybersecurity · ethical-hacking

在 GitHub 上查看原仓库