BêtaRare
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.
- Propriétaire
- h5i-dev (organisation)
- Étoiles
- Étoiles : 887
- Forks
- Forks : 77
- Langage
- Rust
- Licence
- Apache-2.0
- Création
- 2026
- Sujets
- ai-safetyai-securityctfweb-securityhackingred-teamethical-hackingoffensive-securitybug-bountyformal-verification
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts Rust
Tous les dépôts Rust- dimforge/parryÉtoiles : 887RustBêta
- rochacbruno/marmiteÉtoiles : 887RustBêta
- gotempsh/tempsÉtoiles : 887RustBêta