h5i-dev / h5i

git clone https://github.com/h5i-dev/h5i.git

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.