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.
h5i-dev/h5i
View on GitHub ↗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.
h5i grew +23.4% in the last 30 days, ranks 664th of 2,580 in Agent SDK / Framework, actively maintained, last commit yesterday.
Star trajectory
115 days tracked+23.4% in 30d, above the Agent SDK / Framework median of +1.5%.
Last commit yesterday, fresher than the median of 14d.
How it compares in Agent SDK / Framework
Ranked 664th of 2,580 by stars.
- Language
- Rust
- License
- Apache License 2.0
- Contributors
- 22
- Forks
- 74
- Watchers
- 3
- Open issues
- 14
- Releases
- 42
- Created
- 2026-03-11
- Stars this week
- +20
You've seen where h5i stands today.
Get the moves before everyone else: the 5 Agent SDK / Framework repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.