h5i-dev/h5i

An Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.

★ 924 Stars

⑂ 81 Forks

○ 924 Watchers

✖ 5 Issues

Rust

ai-safety ai-security cuda-kernels cybersecurity embedded embedded-systems ethical-hacking formal-verification gpu-acceleration gpu-programming hacking lean4 offensive-security penetration-testing red-team theorem-proving verification web-framework web-security webapp

Last push: 21h ago

Created:

↗ View on GitHub

Loading additional information…