bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Language:TypeScript
Total stars: 20557
#typescript
#bend, #cuda, #dependenttypes, #gpu, #metal, #parallel, #programminglanguage, #proof, #theoremproving