nyxfoundation/nyxis

nyxfoundation/nyxis는 Cedar 정책에 따른 권한 보장을 형식 증명하는 Lean 백엔드 프레임워크이며, 최신 릴리스는 v0.1.9이다.

GitHub 설명: 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.

스타

★ 318

포크

13

언어

Lean

라이선스

MIT

최신 릴리스

v0.1.9