nyxfoundation/nyxis

nyxfoundation/nyxis is a Lean backend framework that formally proves permission guarantees under Cedar policies, and its latest release is v0.1.9.

stars

★ 318

Forks

13

Language

Lean

License

MIT

Latest release

v0.1.9