# h5i-dev/h5i

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

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

h5i-dev/h5i, dépôt open source à 888 étoiles sur GitHub. Carte Bêta de RepoMasters. An Axum-based Rust web framework for building and verifying web apps with…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [h5i-dev](https://repo.masters-masters.com/owners/h5i-dev) |
| Étoiles | 888 |
| Forks | 77 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Apache-2.0 |
| Création | 2026 |
| Sujets | ai-safety, ai-security, ctf, web-security, hacking, red-team, ethical-hacking, offensive-security, bug-bounty, formal-verification |
| Rang | [Bêta (700 à 1 999 ★)](https://repo.masters-masters.com/ranks/box_office) |
| Voir sur GitHub | [h5i-dev/h5i](https://github.com/h5i-dev/h5i) |

## Fiche du dépôt

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.

Rang des dépôts qui ont 700 à 1 999 ★ sur GitHub. Probabilité publiée par carte tirée : 6 %. Rareté : Rare.

## D’autres dépôts Rust

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.