h5i-dev/h5i

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.

Rust915 stars80 forksApache-2.0

Momentum

h5i-dev/h5i has 915 GitHub stars. It gained +16 stars over 5 recorded days in the last 7 days and +32 over 10 recorded days in the last 30 days (snapshots through Nov 10, 2026).

Its biggest recent day was Nov 9, 2026, with +6 stars.

It currently ranks #2781 daily, #2650 weekly, #2043 monthly by momentum on Trending Repos; its best-ever rank is #1781.

Trending Repos first recorded it on Jun 14, 2026.

Rankings

PeriodRankScore

Daily

#27811.8

Weekly

#26502.3

Monthly

#20434.7

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #1781

Format

Markdown

[![h5i-dev/h5i badge](https://trending-repos.com/badge/h5i-dev/h5i.svg?v=3)](https://trending-repos.com/repositories/h5i-dev/h5i?utm_source=github&utm_medium=badge)

Date	Stars gained	Total stars	Forks gained
Nov 10, 2026	+3	913	0
Nov 9, 2026	+6	910	+1
Nov 6, 2026	+5	895	0
Nov 5, 2026	+2	890	+1
Nov 4, 2026	0	888	+1
Oct 21, 2026	+5	797	0
Oct 20, 2026	+4	792	-1
Oct 19, 2026	+2	788	0
Oct 18, 2026	+4	786	0
Oct 17, 2026	+1	782	0

h5i-dev/h5i

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

h5i-dev/h5i

Momentum

Rankings

Engagement

Similar trending repositories

Embeds