bendlang/bend

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

Developer toolsTypeScript#bend#cuda#dependent-types#gpu#metal

6.3 Peaking Magnitude out of 10 — how fast interest is growing, not a quality score. Star growth looks organic. Data as of September 21, 2026, 23:02 UTC.

Open on Seismograph Open on GitHub

About the project

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.

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

README summarized by DeepSeek V4.1 Flash. Details may be inaccurate.

Why it’s trending

132 stars today. The usual pace is 2 per day, so that's 80× as much.
The spike has held for 3 days in a row — not a one-off blip.
GitHub Trending TypeScript today: #11, +188 stars.
Hacker News: “Bend – a language that blocks AI mistakes via proof and runs on GPUs” — 612 points, 4 days ago.
About 18 forks a day — people are taking the code.
Recent forks include notable developers: @rom1504 (2,242 followers), @mizchi (1,852 followers).

Stars per day

Bars are daily stars, the line is the usual pace. Red marks spike days.

Numbers

Total stars: 22,310
Today: 132
Forks: 666
Issues and pull requests: 970
Watchers: 133
Language: TypeScript
License: Apache-2.0
Latest release: v2.0.25 · September 21, 2026
Created: August 29, 2023
Last push: September 21, 2026

Star trust

Growth looks organic: forks and discussion are in line with active projects, and stars arrive unevenly, the way people give them.

These are heuristics, not a verdict: we judge by the repository’s behavior, not by a list of stargazers.

Hacker News discussions

Bend – a language that blocks AI mistakes via proof and runs on GPUs612 points, September 17, 2026
Bend 2 Is Here18 points, September 17, 2026

Spotted in

September 21, 2026GitHub Trending TypeScript today: #11, +188 stars

README badge

Paste it into your README — the badge shows the current magnitude and links to this page.

[![Seismograph](https://gitnova.dev/badge/bendlang/bend.svg?lang=en)](https://gitnova.dev/en/r/bendlang/bend)

More in this category

5.3
Volumeyascoop/RbxForge
CLI project generator for Roblox and Rojo that scaffolds a ready project in one command using game, library, or plugin templates.

Early signalDeveloper toolsPython+2 stars today
5.2
BansheeLight/RbxForge
CLI project generator for Roblox and Rojo: creates a ready project structure in one command using game, library, or plugin templates.

Early signalDeveloper toolsPython+0 stars today
4.8
ahmedkhaleel2004/gitdiagram
A web service that turns any public or private GitHub repository into an interactive architecture diagram: it analyzes the file tree, README and code excerpts with an LLM to build a system graph with links to sources.

BreakoutDeveloper toolsTypeScript+66 stars today
4.5
superagents-lab/jev-search
A web search app where TypeSafe's Jev interprets plain-language questions to pick sources, time ranges and queries, then ranks results from Search1API with visible relevance scores. Returns links and snippets instead…

Early signalDeveloper toolsTypeScript+32 stars today
4.4
gylive/ccodex-sleep-state
A local Go tool that tries to improve Codex behavior: it collects and injects X-Codex-Turn-State and manages proxies, subscriptions and Astra/Sol/Terra models via a web panel. It does not guarantee better model quality…

CoolingDeveloper toolsGo+45 stars today
4.2
alibaba/open-code-review
AI code review tool from Alibaba: reads git diffs and, via an LLM agent with file access and repo search, produces line-level review comments. Ships with built-in rules (NPE, thread-safety, XSS, SQL injection) and a…

CoolingDeveloper toolsGo+507 stars today