Rust · Apache-2.0
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.
★ 892
Stars
79 forks · 17 open issues
+1.1/day
Growth · measured
Stars counted between two of our own snapshots roughly a week apart. The repository page gives the exact span.
29.9
Momentum / 100
see the breakdown below
8mo ago
Created
last push 2d ago
Star history
How this score was built
| Component | Weight | Earned | Why |
|---|---|---|---|
| Velocity | 55 | 6.3 | +1.1/day, log-scaled against a 750/day ceiling |
| Acceleration | 15 | 0.0 | last week ran 0.16× the monthly pace |
| Freshness | 15 | 15.0 | last push 2d ago; decays to zero at 180 days |
| Scale | 15 | 8.6 | 892 stars, log-scaled against 150k — stops a 3-star repo topping the board |
| Momentum | 100 | 29.9 | sum of the above |
Detail
| Topics | ai-safetyai-securitybug-bountyctfcuda-kernelscybersecurityembedded-systemsethical-hackingformal-verificationgpu-accelerationgpu-programminghackinglean4offensive-securitypenetration-testingred-teamtheorem-provingvercelweb-frameworkweb-security |
| Matched on | Security (cybersecurity, security) |
| Short window | +8 stars over 7 days = 1.1/day |
| Long window | +189 stars over 26 days = 7.3/day |
| Lifetime average | 3.73 stars/day over 239 days |
| First seen here | 2026-10-11 |
| Last read | 2d ago |