TrendingRisingGemsRadarToolboxCategories

Repository

bendlang/bend

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

Open source WebsiteDeveloper tools TypeScriptApache-2.0

Stars

24k

Today

+22

last 24 hours

This week

+22

Forks

756

Clone

git clone https://github.com/bendlang/bend.git

Star growth

2026-10-18: +22 (today so far)2026-10-18todaymax +22/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
#bend#cuda#dependent-types#gpu#metal#parallel#programming-language#proof#theorem-proving
Created
2023-08-29
Last commit
2026-10-16
Gained since tracking
+22

Similar in Developer tools

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself