h5i

h5i

h5i-dev

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.

git browser p2p scraping web-framework
View on GitHub Website
899 Stars
79 Forks
3 Watchers
Rust Language
apache-2.0 License
100 SrcLog Score
Cost to Build
$5.46M
Market Value
$26.30M
How is this calculated?

Growth over time

6 data points  ·  2026-07-26 → 2026-11-08
Stars Forks Watchers
💬

How do you feel about this project?

Ask AI about h5i

Question copied to clipboard

What is the h5i-dev/h5i GitHub project? Description: "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.". Written in Rust. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

🏆 Show off this rank

h5i-dev/h5i on SrcLog (holo style)

Add it to a GitHub README or profile — the card updates as the ranking changes:

How to clone h5i

Clone via HTTPS

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

Clone via SSH

[email protected]:h5i-dev/h5i.git

Download ZIP

Download main.zip

Found an issue?

Report bugs or request features on the h5i issue tracker:

Open GitHub Issues

Similar to h5i

gitignore gogs tips hub git-extras diff-so-fancy phabricator gitea husky ungit git-recipes gitbucket libgit2 tig git-lfs decap-cms gitsome desktop pure git-standup githug legit docker-gitlab vim-gitgutter gitql my-git semantic-release gitpitch bfg-repo-cleaner git-style-guide