# h5i-dev/h5i

<https://repo.masters-masters.com/en/repos/h5i-dev/h5i>

[Home](https://repo.masters-masters.com/en) › [h5i-dev](https://repo.masters-masters.com/en/owners/h5i-dev) › [h5i](https://repo.masters-masters.com/en/repos/h5i-dev/h5i)

h5i-dev/h5i has 888 stars on GitHub. Its RepoMasters card: Beta tier. An Axum-based Rust web framework for building and verifying web apps with Lean 4…

| Field | Value |
| --- | --- |
| Owner | [h5i-dev](https://repo.masters-masters.com/en/owners/h5i-dev) |
| Stars | 888 |
| Forks | 77 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | Apache-2.0 |
| Created | 2026 |
| Topics | ai-safety, ai-security, ctf, web-security, hacking, red-team, ethical-hacking, offensive-security, bug-bounty, formal-verification |
| Tier | [Beta (700 to 1,999 ★)](https://repo.masters-masters.com/en/ranks/box_office) |
| View on GitHub | [h5i-dev/h5i](https://github.com/h5i-dev/h5i) |

## Repository

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.

The tier for repos with 700 to 1,999 ★. Published odds per card pulled: 6%. Rarity: Rare.

## Nearby in Rust

- [mikedilger/gossip · ★ 888 · Rust · Beta](https://repo.masters-masters.com/en/repos/mikedilger/gossip)
- [rochacbruno/marmite · ★ 888 · Rust · Beta](https://repo.masters-masters.com/en/repos/rochacbruno/marmite)
- [IPedrax/BIMCraft · ★ 888 · Rust · Beta](https://repo.masters-masters.com/en/repos/IPedrax/BIMCraft)
- [rust-fuzz/arbitrary · ★ 888 · Rust · Beta](https://repo.masters-masters.com/en/repos/rust-fuzz/arbitrary)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.