Illustration: the project’s public image, pixelated by RepoMasters. Credits
LTSLegendary

bendlang/bend

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

Owner
bendlang (organization)
Stars
Stars: 24,638
Forks
Forks: 790
Language
TypeScript
License
Apache-2.0
Created
2023
Topics
bendcudadependent-typesgpumetalparallelprogramming-languageprooftheorem-proving
Tier
LTS (20,000 ★ and up) What this tier means
View on GitHub

Nearby in TypeScript

All TypeScript repos