bendlang/bend

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

TypeScript24,971 stars801 forksApache-2.0

bend cuda dependent-types gpu metal parallel programming-language proof theorem-proving

Momentum

bendlang/bend has 24,971 GitHub stars. It gained +268 stars in the last 7 days and +1,397 in the last 30 days (snapshots through Nov 11, 2026).

Its biggest recent day was Oct 27, 2026, with +172 stars.

It currently ranks #814 daily, #709 weekly, #601 monthly by momentum on Trending Repos; its best-ever rank is #69.

Trending Repos first recorded it on Jul 7, 2026.

Rankings

PeriodRankScore

Daily

#81415.5

Weekly

#70919.5

Monthly

#60126.1

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #69

Format

Markdown

[![bendlang/bend badge](https://trending-repos.com/badge/bendlang/bend.svg?v=3)](https://trending-repos.com/repositories/bendlang/bend?utm_source=github&utm_medium=badge)

Date	Stars gained	Total stars	Forks gained
Nov 11, 2026	+20	24,963	0
Nov 10, 2026	+31	24,943	+1
Nov 9, 2026	+30	24,912	+2
Nov 8, 2026	+39	24,882	0
Nov 7, 2026	+81	24,843	+4
Nov 6, 2026	+34	24,762	0
Nov 5, 2026	+33	24,728	+2
Nov 4, 2026	+28	24,695	0
Nov 3, 2026	+43	24,667	+2
Nov 2, 2026	+31	24,624	0
Nov 1, 2026	+22	24,593	+3
Oct 31, 2026	+26	24,571	+4
Oct 30, 2026	+37	24,545	+2
Oct 29, 2026	+38	24,508	+5

bendlang/bend

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

bendlang/bend

Momentum

Rankings

Engagement

Similar trending repositories

Embeds