AlphaPeu commune
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.
- Propriétaire
- NyxFoundation (organisation)
- Étoiles
- Étoiles : 318
- Forks
- Forks : 13
- Langage
- Lean
- Licence
- MIT
- Création
- 2026
- Sujets
- access-controlauthorizationbackend-frameworkcedarformal-verificationlean4postgresqlsecuritysupabase
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de NyxFoundation
Les 2 dépôts de NyxFoundation- NyxFoundation/specaÉtoiles : 463PythonAlpha
D’autres dépôts Lean
Tous les dépôts Lean- facebookresearch/atlas-leanÉtoiles : 328LeanAlpha
- math-inc/strongpntÉtoiles : 327LeanAlpha
- google-deepmind/alphaproof-nexus-resultsÉtoiles : 322LeanAlpha
- ImperialCollegeLondon/formalising-mathematicsÉtoiles : 317LeanAlpha
- leanprover-community/lean4-metaprogramming-bookÉtoiles : 317LeanAlpha
- ufmg-smite/lean-smtÉtoiles : 315LeanAlpha