Illustration : image publique du projet, pixelisée par RepoMasters. Crédits
LTSLégendaire

bendlang/bend

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

Propriétaire
bendlang (organisation)
Étoiles
Étoiles : 24 600
Forks
Forks : 789
Langage
TypeScript
Licence
Apache-2.0
Création
2023
Sujets
bendcudadependent-typesgpumetalparallelprogramming-languageprooftheorem-proving
Rang
LTS (20 000 ★ et plus) Ce que veut dire ce rang
Voir sur GitHub

D’autres dépôts TypeScript

Tous les dépôts TypeScript