BetaRare
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.
- Owner
- h5i-dev (organization)
- Stars
- Stars: 887
- Forks
- Forks: 77
- Language
- Rust
- License
- Apache-2.0
- Created
- 2026
- Topics
- ai-safetyai-securityctfweb-securityhackingred-teamethical-hackingoffensive-securitybug-bountyformal-verification
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Rust
All Rust repos- dimforge/parryStars: 887RustBeta
- rochacbruno/marmiteStars: 887RustBeta
- gotempsh/tempsStars: 887RustBeta