Bend

A fast language that blocks AI mistakes via proof.

With laws, intents can be more precise than natural language. With proofs, we can mechanically verify the AI implemented our prompts correctly. And with a fast compiler, we can run that code at peak compute.

curl -fsSL https://bend-lang.com/install.sh | sh

Popular repositories Loading

bend bend Public

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

TypeScript 25k 801
.github .github Public

Bend's organization profile

7
checker-eval checker-eval Public

Opus 5.5 proves 20/20 Bend tasks with Bend's checker, 0/20 without

Python 1

Repositories

Type

All Public Sources Forks Archived Mirrors Templates

Language

All Python TypeScript

Sort

Last updated Name Stars

Showing 3 of 3 repositories

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

bendlang/bend's past year of commit activity

TypeScript 24,995 Apache-2.0 801 98 33 Updated Nov 12, 2026
checker-eval Public
Opus 5.5 proves 20/20 Bend tasks with Bend's checker, 0/20 without

bendlang/checker-eval's past year of commit activity

Python 1 0 0 0 Updated Oct 22, 2026
.github Public
Bend's organization profile

bendlang/.github's past year of commit activity

7 0 0 0 Updated Sep 17, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Python TypeScript

Most used topics

Loading…

Uh oh!

There was an error while loading. Please reload this page.