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.
GitHub repository with 318 stars and 13 forks.
Language: Lean
Topics: access-control, authorization, backend-framework, cedar, formal-verification, lean4, postgresql, security, supabase