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.
↑ +1 today
h5i-dev
2 tracked repositories
☆ 943 TOTAL STARS
⑂ 85 TOTAL FORKS
↗ +1 STARS TODAY
★ Add Profile Badge to your GitHub README.md
Auto-UpdatingShowcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/h5i-dev)Repositories
Sorted by stars
A minimal, self-contained implementation of a Lean 4-style theorem prover kernel in Rust.
↑ +1 today
From our network