📈 GH Trending Explorer Updated 2026-11-01 07:52 UTC 🎲 Surprise me

Search: king · Category: ai-agents · 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.