bendlang/bend
- Total stars
- 24,711
- Today
- +16since 00:22 UTC
More actions
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Save to My finds to follow releases and star growth. Saved in this browser.
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. Read the original README →
Star growth looks organic. Data as of November 4, 2026, 10:53 UTC.
The star-growth assessment does not verify whether the project is safe to run.
Stars per day
Bars show stars per UTC day; the line is a moving average of available history. Gaps mean missing data, not zero growth. Today's bar is incomplete. Red marks spike days.
Why it’s trending
- Star-counter measurements on 2026-11-04 (UTC), 00:22–10:43: 24695 → 24711 stars (+16). This is the change over that interval.
- Estimated end-of-day forecast: about +36 stars, using observed gains and the previous day.
- Interest is fading: the two-day pace is 50% of the previous week and a half.
- Recent forks include notable developers: @lgs (299 followers), @i2cjak (211 followers).
Measured growth: the last 7 completed days
The full 7-day window is unavailable; no weekly total or comparison is calculated.
Daily measurements · UTC
- November 2, 2026
- 37
- November 3, 2026
- 37
- November 4, 2026
- 2
- November 5, 2026
- —
- November 6, 2026
- —
- November 7, 2026
- —
- November 8, 2026
- —
Largest measured day in the last 30 days: 155 · October 25, 2026. Days with data: 26.
Completed days come from GitHub star history; today and forecasts are excluded from this comparison. History checked: November 4, 2026, 10:53 UTC. Sources and measurement limits →
Three GitHub discoveries in each edition
What they do, why they are gaining interest, and what to check before using them.
Editions at 10:00, 16:00, 22:00 MSK.
Numbers
- Total stars
- 24,711
- Today
- +16 stars measured 2026-11-04, 00:22–10:43 UTC, ≈ 36 by evening
- Forks
- 794
- Issues and pull requests
- 2,037
- Watchers
- 113
- Language
- TypeScript
- License
- Apache-2.0
- Latest release
- v2.0.39 · October 23, 2026
- Created
- August 29, 2023
- Last push
- November 4, 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 GPUs615 points, September 17, 2026
- Bend 2 Is Here18 points, September 17, 2026
Spotted in
- October 25, 2026GitHub Trending TypeScript today: #4, +107 stars
- October 24, 2026GitHub Trending TypeScript today: #4, +113 stars
- September 22, 2026GitHub Trending TypeScript today: #11, +193 stars
- 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.
[](https://gitnova.dev/en/r/bendlang/bend)