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.
人工智能ai-safetyai-securityctfweb-securityhackingred-teamethical-hackingoffensive-securitybug-bountyformal-verification
Stars
888累计关注
Forks
77衍生分支
近 7 天增长
+22采集快照净变化
主要语言
Rust来自仓库信息
Star 历史与增长
只展示真实采集记录；缺失日期不补造数据。
888 ★49 次观测
2026-08-102026-11-03
历史数据积累中
至少需要两次有效观测才能绘制曲线。新收录项目会从真实快照开始积累。
查看最近观测数据
| 日期 | Stars |
|---|---|
| 2026-10-05 | 674 |
| 2026-10-06 | 675 |
| 2026-10-07 | 690 |
| 2026-10-08 | 691 |
| 2026-10-09 | 694 |
| 2026-10-10 | 701 |
| 2026-10-11 | 735 |
| 2026-10-12 | 765 |
| 2026-10-13 | 767 |
| 2026-10-14 | 775 |
| 2026-10-15 | 777 |
| 2026-10-16 | 779 |
| 2026-10-17 | 782 |
| 2026-10-18 | 784 |
| 2026-10-19 | 788 |
| 2026-10-20 | 799 |
| 2026-10-21 | 802 |
| 2026-10-22 | 803 |
| 2026-10-23 | 803 |
| 2026-10-24 | 804 |
| 2026-10-25 | 804 |
| 2026-10-26 | 856 |
| 2026-10-27 | 883 |
| 2026-10-28 | 884 |
| 2026-10-29 | 884 |
| 2026-10-30 | 885 |
| 2026-10-31 | 887 |
| 2026-11-01 | 887 |
| 2026-11-02 | 887 |
| 2026-11-03 | 888 |
获取源码与使用说明
克隆只下载源码；安装和依赖请以官方文档为准。
git clone https://github.com/h5i-dev/h5i.git关于这个项目
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.
如何获取和安装？
可使用 git clone https://github.com/h5i-dev/h5i.git 获取源码。克隆不等于安装完成；依赖、宿主和使用步骤请参照官方 README。
可以商用吗？
当前许可信息：Apache-2.0。请核对原始许可、第三方依赖与具体使用条件。
维护与增长数据可靠吗？
当前状态：近期有维护。维护信号不等于安全审计；增长仅来自已采集的真实快照，缺少历史基线时不推测。