📈 GH Trending Explorer Updated 2026-11-07 08:24 UTC 🎲 Surprise me

Search: bui · Category: backend · Language: Rust · clear

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.

▲ ~12/7d ★ 898 Rust today