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.
- Stars
- 318 stars
- Forks
- 13 forks
- Language
- Lean
- License
- MIT
- Created
- Oct 26, 2026
- Last push
- Oct 31, 2026
- Updated
- Nov 2, 2026
Admitted to the Repository Index on Oct 27, 2026: +244 stars in 7 days.
Star History
9 days recorded, Oct 26, 2026 – Nov 3, 2026 (UTC). Net change +328 stars.
The star count of each day is the latest count less the net stars of the later days.
Add this Star History to a README
The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.
Star History chart
[](https://awesomerepos.com/NyxFoundation/nyxis)Badge
[](https://awesomerepos.com/NyxFoundation/nyxis)Timeline
This repository got 274 stars on Oct 26, 2026, the day it was created: its largest day recorded.
It gained stars on each of the 9 days with a record.
It reached 100 stars on Oct 26, 2026, 0 days after it was created.
- Created on the Repository Host
- Reached 100 stars
- Largest star day recorded: +274 stars
- Entered the Repository Index: +244 stars in 7 days
- +29 stars in one day
- +9 stars in one day
- Latest push
From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.
Forks and pushes
From 7 Observations, Oct 28, 2026 – Nov 3, 2026. Forks +2. A new push was seen on 3 of 6 days.
- Oct 29, 2026: no new push
- Oct 30, 2026: new push
- Oct 31, 2026: new push
- Nov 1, 2026: new push
- Nov 2, 2026: no new push
- Nov 3, 2026: no new push
A filled day: the last push time changed since the Observation before it.
Observations
What the Repository Host reported each day.
| Day (UTC) | Stars | Forks | Last push | Archived |
|---|---|---|---|---|
| Nov 3, 2026 | 318 | 13 | Oct 31, 2026 | No |
| Nov 2, 2026 | 317 | 13 | Oct 31, 2026 | No |
| Nov 1, 2026 | 313 | 12 | Oct 31, 2026 | No |
| Oct 31, 2026 | 312 | 12 | Oct 30, 2026 | No |
| Oct 30, 2026 | 311 | 12 | Oct 29, 2026 | No |
| Oct 29, 2026 | 307 | 11 | Oct 26, 2026 | No |
| Oct 28, 2026 | 298 | 11 | Oct 26, 2026 | No |