2
Repos
902
Stars
79
Forks
3
Watchers
🏆 Show off this rank
Add it to a GitHub README or profile — the card updates as the ranking changes:
Repositories (2)
h5i
h5i-dev/h5i
Rust
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.
899
79
h5i-app-bench
h5i-dev/h5i-app-bench
Lean
Can a web backend be proved correct and still be fast?
3
0