Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
- Recommended by
- 3
- GitHub stars
- 25k
- Licence
- Apache-2.0
- Language
- TypeScript
- Last commit
- 1 Nov 2026
What people said
“For the first thing you're talking about check out bend.”
“The benchmarks: The script we use to run them on our servers:”
“Yes, there's a lot of vibe-coding in many places, but the critical parts (compiler, runtime, kernel) are human designed, and the kernel has been extensively audited by human. All of it is my own design and architecture, and I'm a human, I think. We'll prune AI slop over time. The…”
Not software, abandoned or listed by mistake? Report this listing