Fossy
fossy
Back bendlang/bend
bend

bend

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

20k 5219 HN points
Apache-2.0
 last commit 2026-09-17
bendcudadependent-typesgpumetalparallelprogramming-languageprooftheorem-proving
Website Source
Share:

About

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

Languages

TypeScript64.8%C17.7%Typst7.8%JavaScript7.7%TeX1.6%HTML0.4%

No features listed.

Comments Theme
Keywords
bend
cuda
dependent-types
gpu
metal
parallel
programming-language
proof
theorem-proving
slug: bend

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)