bendlang

Githubhttps://bend-lang.com/Followers 87

代码库

bendlang/bend

21.6k

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

TypeScript

bendcudadependent-typesgpumetalparallelprogramming-languageprooftheorem-proving