TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

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.

Open source WebsiteSecurity RustApache-2.0

Stars

883

Today

+26

last 24 hours

This week

+77

Forks

76

Clone

git clone https://github.com/h5i-dev/h5i.git

Star growth

2026-10-21: +72026-10-22: +02026-10-23: +02026-10-24: +02026-10-25: +02026-10-26: +442026-10-27: +312026-10-28: +26 (today so far)2026-10-21todaymax +44/day
Stars gained per day since 2026-10-21; the lighter bar is today so far.
#ai-safety#ai-security#ctf#web-security#hacking#red-team#ai-hacking#ethical-hacking#offensive-security#bug-bounty
Created
2026-03-11
Last commit
2026-10-27
Gained since tracking
+84

Similar in Security

Updated Wed, 28 Oct 2026 05:47:07 GMT · description from the project itself