Lean · MIT
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.
★ 319
Stars
13 forks · 11 open issues
+31/day
Growth · lifetime avg
Average since the repo was created — it is young enough that this still describes now. Not a recent-week figure.
50.8
Momentum / 100
see the breakdown below
13d ago
Created
last push 4d ago
Star history
How this score was built
| Component | Weight | Earned | Why |
|---|---|---|---|
| Velocity | 55 | 28.8 | +31/day, log-scaled against a 750/day ceiling |
| Acceleration | 15 | 0.0 | needs 7-day and 30-day rates side by side |
| Freshness | 15 | 14.8 | last push 4d ago; decays to zero at 180 days |
| Scale | 15 | 7.3 | 319 stars, log-scaled against 150k — stops a 3-star repo topping the board |
| Momentum | 100 | 50.8 | sum of the above |
Detail
| Topics | access-controlauthorizationbackend-frameworkcedarformal-verificationlean4postgresqlsecuritysupabase |
| Matched on | Security (security) |
| Short window | no snapshot 5–10 days old yet |
| Long window | no snapshot 14–45 days old yet |
| Lifetime average | 30.90 stars/day over 10 days |
| First seen here | 2026-11-01 |
| Last read | 2d ago |