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

Search: elo Β· Category: web-framework Β· clear

NyxFoundation / nyxis

A Lean backend framework whose authorization safety is formally proven. The developer writes only a Cedar schema and policies; handlers are built on Supabase Auth and PostgreSQL.

β–² 314/7d β˜… 314 Lean 2d ago
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