← All repos

h5i-dev/h5i

View on GitHub ↗ ★ 915 Rust

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.

4 mentions on Hacker News by 3 people: 1 story, 3 comments · first 2026-06-04 · latest 2026-08-27