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