# bendlang/bend

> Bend 2 is a dependently-typed programming language with proofs that compiles to CPU and GPU. It lets you declare laws in LAWS.bend that the compiler mechanically verifies, blocking AI-agent mistakes.

- Magnitude: 5.3 out of 10 — Peaking
- Stars: 22,505 total · +0 stars today, ≈ 128 by evening
- Star trust: star growth looks organic
- Category: Developer tools · Language: TypeScript · License: Apache-2.0 · Created: 2023-08-29 · Last push: 2026-09-22
- GitHub: https://github.com/bendlang/bend · Homepage: https://bend-lang.com · Page: https://gitnova.dev/en/r/bendlang/bend

## Useful for

- Declare app invariants in LAWS.bend so the compiler blocks the agent from breaking them
- Run bend PROOF.bend before committing to check correctness proofs
- Parallelize a computation on the GPU without writing kernels or threads

## Why it’s here

- 0 stars so far today, about 128 expected by the end of the day. The usual pace is 2 per day, so that's 65× as much.
- Interest is fading: the two-day pace is 58% of the previous week and a half.
- The spike has held for 3 days in a row — not a one-off blip.
- Hacker News: “Bend – a language that blocks AI mistakes via proof and runs on GPUs” — 614 points, 5 days ago.
- About 14 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: 678
- Issues and pull requests: 996
- Watchers: 131
- Average over the last week: 416 per day
- Usual pace: 2 per day
- Stars in the last hour (measured): 5
- Latest release: v2.0.25 (2026-09-21)

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

2026-08-25 … 2026-09-23: 1, 0, 2, 0, 0, 2, 2, 3, 1, 0, 5, 4, 2, 2, 1, 2, 3, 3, 0, 0, 4, 2, 11, 956, 781, 472, 239, 205, 134, 0

## Magnitude by day, last 3 days

09-21 6.3, 09-22 5.9, 09-23 5.3

## Hacker News

- Bend – a language that blocks AI mistakes via proof and runs on GPUs — 614 points, 325 comments: https://news.ycombinator.com/item?id=49746163
- Bend 2 Is Here — 18 points, 3 comments: https://news.ycombinator.com/item?id=49746203

## More in this category

1. **dream-num/univer** — 7.2 · Breakout · Developer tools · TypeScript · +0 stars today, ≈ 569 by evening
   Open-source TypeScript SDK for embedding spreadsheet, document, and presentation editors into your own product, with a plugin architecture, Canvas rendering, a formula engine, and one Facade API for browser and Node.js. Suited for SaaS,…
   Full card: https://gitnova.dev/en/r/dream-num/univer.md
2. **anmolkapil/plexo** — 5.2 · Breakout · Developer tools · TypeScript · +0 stars today, ≈ 332 by evening
   Download manager for Windows and macOS that speeds up downloads by splitting files into 8 MB chunks fetched in parallel across multiple network interfaces (Wi-Fi, Ethernet, USB tethering).
   Full card: https://gitnova.dev/en/r/anmolkapil/plexo.md
3. **geastack/examples** — 5.0 · Early signal · Developer tools · TypeScript · +0 stars today, ≈ 46 by evening
   A collection of example applications and tools for GeaStack: small TSX apps with a gea manifest, used by the simulator, embedded boards, GeaOS and the IDE extension.
   Full card: https://gitnova.dev/en/r/geastack/examples.md
4. **OnlistTeam/ai-manager** — 4.1 · Early signal · Developer tools · Rust · +0 stars today, ≈ 50 by evening
   A local-first desktop app for installing, updating, and configuring AI coding CLI tools (Claude Code, Codex and others), and managing their API endpoints, Skills, MCP connections, and prompts without hand-editing config files or PATH.
   Full card: https://gitnova.dev/en/r/OnlistTeam/ai-manager.md
5. **tt-a1i/archify** — 4.1 · Steady · Developer tools · JavaScript · +0 stars today, ≈ 545 by evening
   An agent skill for Cursor, Claude Code, Codex CLI, and OpenCode that turns a system description or codebase into interactive HTML/SVG architecture, workflow, sequence, data-flow, and lifecycle diagrams from typed JSON IR.
   Full card: https://gitnova.dev/en/r/tt-a1i/archify.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-09-23 00:34 UTC, updated every 30 minutes.