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 23k 700

  2. .github .github Public

    Bend's organization profile

    5

Repositories

Showing 2 of 2 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 22,970 Apache-2.0 700 54 37 Updated Sep 27, 2026
  • .github Public

    Bend's organization profile

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

TypeScript

Most used topics

Loading…