πŸ“ˆ GH Trending Explorer Updated 2026-11-06 10:00 UTC 🎲 Surprise me

Search: program Β· Category: security Β· 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.