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
Nearby in TypeScript
All TypeScript repos- nocobase/nocobaseStars: 24,811TypeScriptLTS
- louislam/dockgeStars: 24,742TypeScriptLTS
- vuejs/devtools-v6Stars: 24,656TypeScriptLTS
- react-navigation/react-navigationStars: 24,520TypeScriptLTS
- rahuldkjain/github-profile-readme-generatorStars: 24,467TypeScriptLTS
- youzan/vantStars: 24,408TypeScriptLTS