Skip to content
@bendlang

BendLang

Bend Programming Language
README.md

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

  1. 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 23.9k 762

  2. .github .github Public

    Bend's organization profile

    6

  3. checker-eval checker-eval Public

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

    Python

Repositories

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 23,885 Apache-2.0 762 69 36 Updated Oct 22, 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 0 0 0 0 Updated Oct 22, 2026
  • .github Public

    Bend's organization profile

    bendlang/.github's past year of commit activity
    6 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.

Most used topics

Loading…