#78 of 100 · GitHub repository
h5i
h5i is a GitHub repository ranked #78 on the Most Starred Web Framework Repos on GitHub chart with 916 stars.
Source description: An Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.
Change: 0 stars between recorded observations on 2026-11-11 and 2026-11-12.
Last verified · 2026-11-12T11:57:53.915Z
Reported license: Apache-2.0. Check the source license and terms for permissions, restrictions, and any costs.
Last commit
Metric source · method 1.0.0 · hash 4d2d
Recorded stars trend
23 dated observations · 2026-10-21 to 2026-11-12. Missing dates are not filled.
Metric definition: github:stars:all-time
Observed range: 801 – 916 stars
View dated observations
| Date (UTC) | stars |
|---|---|
| 2026-10-21 | 801 |
| 2026-10-22 | 804 |
| 2026-10-23 | 805 |
| 2026-10-24 | 805 |
| 2026-10-25 | 806 |
| 2026-10-26 | 805 |
| 2026-10-27 | 865 |
| 2026-10-28 | 885 |
| 2026-10-29 | 884 |
| 2026-10-30 | 885 |
| 2026-10-31 | 886 |
| 2026-11-01 | 887 |
| 2026-11-02 | 887 |
| 2026-11-03 | 888 |
| 2026-11-04 | 887 |
| 2026-11-05 | 892 |
| 2026-11-06 | 896 |
| 2026-11-07 | 898 |
| 2026-11-08 | 899 |
| 2026-11-09 | 910 |
| 2026-11-10 | 915 |
| 2026-11-11 | 916 |
| 2026-11-12 | 916 |
Quick answers
- What is h5i?
- h5i is a GitHub repository ranked #78 on the Most Starred Web Framework Repos on GitHub chart with 916 stars.
- What license applies to h5i?
- Reported license: Apache-2.0. Check the source license and terms for permissions, restrictions, and any costs.
- How is h5i ranked?
- This chart orders entries by stars, not quality or suitability. Nearby entries share a chart, but are not necessarily substitutes. Method 1.0.0; snapshot hash 4d2d.