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.

3 best points · 1 comments · 1 Hacker News post · 898 GitHub stars · View on GitHub

Hacker News discussions

• Agent-to-Agent Communication via Git (3 points, 1 comments, by zatkin, 2026-06-04)