Sign in
← Back to search
github Actively maintained

bendlang/bend

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

0 awesome lists

Quick read

Stars
22,669
Forks
685
Open issues
69
Commits
3,032

Activity and growth

Latest capture 2026-09-25 04:03

Stars · last 7 days
+1,153 +5.4%
Commits · last 7 days
+149 +5.2%
Stars since tracking
+2827
Stored snapshots
9

Classification

Topics

#bend #cuda #dependent-types #gpu #metal #parallel #programming-language #proof #theorem-proving

Metadata

Language
TypeScript
License
Apache-2.0
Default branch
main
Created
2023-08-29
First commit
2026-09-16
Last pushed
2026-09-24
GitHub updated
2026-09-25
Last synced
2026-09-25 04:03
Stack scanned
2026-09-25 04:03
Archived
No
Sign in to like bendlang/bend
README Open website View on GitHub

AI development signals

1 path

Agent instructions and tool configuration found in this repository.

Agent instructions

View paths

Growth history

Tracked growth

9 observed captures since 2026-09-17. Observed captures are shown by default.

Stars from first capture +2827

Chart data

Observed captures only

Time horizon

All tracked data

Custom date range

Stars history

Observed snapshots

Commits history

Observed snapshots

Similar repositories

Nearest indexed repositories by embedding similarity.

HigherOrderCO/Bend

A massively parallel, high-level programming language

19,834 stars
Rust 0 awesome lists

LVTD-LLC/built-with-bend

A human-reviewed directory of apps, sites, and projects built with Bend 2.

1 stars
Python 0 awesome lists

babel/babel

🐠 Babel is a compiler for writing next generation JavaScript.

43,993 stars
TypeScript 1 awesome list

open-pencil/open-pencil

AI-native design editor. Open-source Figma alternative.

8,601 stars
TypeScript 0 awesome lists

GetBindu/Bindu

Bindu: The identity, communication, and payments layer for AI agents.

9,770 stars
Python 1 awesome list

LucasDuys/forge

Turn a one-line idea into a branch with tested, reviewed, committed code. The brainstorm-to-commit pipeline for Claude Code.

55 stars
JavaScript 1 awesome list