# NyxFoundation/nyxis

> A Lean-based backend framework where authorization safety is formally proven. Developers write only a Cedar schema and policies, while handlers can be generated by AI agents; every build checks that no HTTP request sequence can exceed legitimate permissions.

- Magnitude: 5.1 out of 10 — Early signal
- Stars: 196 total · +54 stars measured 2026-10-26, 12:25–15:17 UTC, ≈ 74 by evening
- Star trust: star growth looks organic
- Category: Backend & databases · Language: Lean · License: MIT · Created: 2026-10-26 · Last push: 2026-10-26
- GitHub: https://github.com/NyxFoundation/nyxis · Page: https://gitnova.dev/en/r/NyxFoundation/nyxis

## Useful for

- Build a backend with provably safe authorization from a Cedar schema and policies.
- Let an AI agent write handlers while the build audits them against approved sources.
- Audit authorization by reading the schema and policies and confirming the proof checks.

## Why it’s here

- Star-counter measurements on 2026-10-26 (UTC), 12:25–15:17: 142 → 196 stars (+54). This is the change over that interval.
- Estimated end-of-day forecast: about +73 stars, using observed gains and the previous day.
- The repository is 0 days old and already has 196 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #117.
- About 26 forks a day — people are taking the code.

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 5
- Issues and pull requests: 22
- Watchers: 2
- Average over the last week: 74 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 22
- Latest release: v0.1.1 (2026-10-26)

## Stars per day, last 1 day (oldest → newest, today is partial)

2026-10-26 … 2026-10-26: 54

## Spotted in now

- Top new repositories this week: #117

## More in this category

1. **malisper/pgrust** — 3.4 · Breakout · Backend & databases · Rust · +15 stars measured 2026-10-26, 11:33–14:59 UTC, ≈ 33 by evening
   A Rust rewrite of Postgres, wire- and SQL-dialect compatible, with a new JIT query engine, thread-based concurrency and automatic memory management.
   Full card: https://gitnova.dev/en/r/malisper/pgrust.md
2. **twentyhq/twenty** — 3.2 · Steady · Backend & databases · TypeScript · +54 stars measured 2026-10-26, 00:13–14:59 UTC, ≈ 85 by evening
   Open-source CRM built in TypeScript as an alternative to Salesforce, where objects, fields and views are defined as code and versioned with the rest of the stack. Aimed at technical teams that need a customizable CRM for their own…
   Full card: https://gitnova.dev/en/r/twentyhq/twenty.md
3. **kividbio/kividb** — 3.2 · Peaking · Backend & databases · Rust · +38 stars measured 2026-10-26, 00:14–14:59 UTC, ≈ 61 by evening
   A Redis/Valkey-compatible in-memory key-value database written in Rust with multi-threaded sharded execution, built-in full-text and vector (FLAT/HNSW) search, RESP2/RESP3 protocol, Lua scripting and snapshot/AOF persistence.
   Full card: https://gitnova.dev/en/r/kividbio/kividb.md
4. **flybrainlabs/node** — 3.1 · Peaking · Backend & databases · JavaScript · +42 stars measured 2026-10-26, 00:15–15:18 UTC, ≈ 75 by evening
   Authority and service APIs for the flybrainlabs platform: commit/reveal processing, full replay coordination, private artifacts, scientific publication, tickets and accounting APIs. Assembled from multiple repositories via workspace.py,…
   Full card: https://gitnova.dev/en/r/flybrainlabs/node.md
5. **fastapi/fastapi** — 3.0 · Steady · Backend & databases · Python · +27 stars measured 2026-10-26, 00:14–15:02 UTC, ≈ 49 by evening
   FastAPI is a Python web framework for building APIs based on standard type hints, with automatic OpenAPI and Swagger UI documentation.
   Full card: https://gitnova.dev/en/r/fastapi/fastapi.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-26 15:20 UTC, updated every 30 minutes.