πŸ“ˆ GH Trending Explorer Updated 2026-11-01 07:52 UTC 🎲 Surprise me

Search: ming Β· Category: web-framework Β· 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.

β–² ~81/7d β˜… 887 Rust 1d ago
apache / pekko

Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala

β–² ~7/7d β˜… 1.7k Scala πŸ”₯ 2d ago