AlphaUncommon
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.
- Owner
- NyxFoundation (organization)
- Stars
- Stars: 319
- Forks
- Forks: 13
- Language
- Lean
- License
- MIT
- Created
- 2026
- Topics
- access-controlauthorizationbackend-frameworkcedarformal-verificationlean4postgresqlsecuritysupabase
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by NyxFoundation
All 2 repos by NyxFoundation- NyxFoundation/specaStars: 463PythonAlpha
Nearby in Lean
All Lean repos- facebookresearch/atlas-leanStars: 329LeanAlpha
- math-inc/strongpntStars: 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsStars: 322LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsStars: 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookStars: 317LeanAlpha
- ufmg-smite/lean-smtStars: 315LeanAlpha