Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
- Updated
Oct 30, 2026 - TypeScript
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
🐬🐟 ↶Mesh Deformation / Bending / Following on a Curve
Unofficial guide to Bend programming language
A self-hosting compiler for Bend 2, written in Bend 2.
Packages, tools, and examples for current Bend 2.0.x. (bendlang/bend).
🌳 Groot 1 is a open typed-decision model, with a pure Bend engine. Beats Jev on zero-shot typed decisions (75.3% vs 73.7%).
Source code for vscode extension of Bend programming language.
The three-body problem, live, in Bend: physics on the CPU, every pixel on the GPU.
Berachain's Documentation Repository For Core, BEX, Berps, & Bend
A law-proved port of br (beads_rust), the local-first, dependency-aware issue tracker for AI coding agents, to the Bend 2 language. Golden-tested against the original on every lane; early work in progress.
Minesweeper with a no-guess assist, specified as laws and proven in Bend 2
Experiments in machine learning written in Bend: models trained from scratch, verified against NumPy twins and the PyTorch reference.
The foundation library for Bend 2: bend-mathlib (machine-checked lemmas), lawcheck (counterexamples for laws), and docs for BendHub.
A tensor and convolution library, written and proved in Bend