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.
Star count as of 08:04 (BKK).
h5i-dev/h5i has 880 stars and gained +41 of them in the last 7 days, a 5.2% change. It is written in Rust, grouped under security, automation, released under Apache-2.0. A merged pull request waits a median of 16m from opening to merge, measured on 298 pull requests. Last pushed on 27 Oct 2026.
Star history
Loading star history…
Growth
| Period | Stars gained | Growth | From | Measured |
|---|---|---|---|---|
| Last 6 hours | — | — | — | Not measured |
| Last 12 hours | — | — | — | Not measured |
| Today | +21 | 2.6% | 805 on 26 Oct 2026 | Daily snapshots |
| Last 7 days | +41 | 5.2% | 785 on 18 Oct 2026 | Weekly history |
| Last 30 days | +168 | 25.5% | 658 on 27 Sep 2026 | Weekly history |
| Last year | — | — | — | Not measured |
A period with no current measurement is left blank: a delta needs a measurement at both ends of the period. The 6- and 12-hour periods need two intraday measurements exactly that far apart, the day-and-longer periods need snapshots on both dates, and the last year also needs star history from a year ago, which we keep for one year.
Embed this badge
Copy either snippet into the repository's README. The badge shows total stars and the gain over the last 7d (the same window as the one below) and is hotlinked directly, with no account or token.
[](https://bestofgit-blue.vercel.app/projects/h5i-dev/h5i)
<a href="https://bestofgit-blue.vercel.app/projects/h5i-dev/h5i">
<img src="https://bestofgit-blue.vercel.app/badge/h5i-dev/h5i.svg?window=7d"
alt="Star and growth badge for h5i-dev/h5i on BestOfGit" />
</a>
