bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
AI時代の証明付き超高速プログラミング言語Bend — BendはAIが実装したコードの正しさを数学的証明で検証できる新言語です。依存型と線形性により、CPUではC言語並み、GPUではCUDA並みの速度を実現しつつ、証明チェックも既存の定理証明系より桁違いに高速です。AIとの協働開発で「意図のズレ」を防ぎたい開発者に刺さる設計です。
指標
相対成長率（7日）+1%規模に対する直近7日の伸び
加速度+19%前週からの増加ペースの変化
注目度スコア443指標を0〜100に揃えて合成
指標の定義はこのサイトについて を参照。
star推移とtrending掲載（直近30日）
初掲載+141★/日デイリーウィークリーマンスリー
2026/9/192026/10/18
帯は trending に載った日（濃いほど上位）
日別の掲載順位を表で見る（6日）
| 日付 | デイリー | ウィークリー | マンスリー |
|---|---|---|---|
| 2026年10月17日 | — | — | typescript 18位 +4,074 |
| 2026年9月29日 | — | typescript 14位 +821 | — |
| 2026年9月28日 | — | typescript 9位 +958 | — |
| 2026年9月27日 | — | typescript 7位 +1,361 | — |
| 2026年9月26日 | — | typescript 7位 +1,530 | — |
| 2026年9月22日 | typescript 11位 +193 | — | — |
リポジトリ作成 2023/8/29・trending 初掲載 2026/9/22
同じカテゴリの注目リポジトリ（開発ツール）
- mattn/yomivec
- jasonxu114514/opencode2api
- PowderworksCode/headstart
- akawashiro/procinsh
- pingdotgg/ts-rust
cuda 内の順位
| # | リポジトリ | ★ |
|---|---|---|
| 1 | vllm-project/vllm | 94,008 |
| 2 | debpalash/VoiceStudio | 73,379 |
| 3 | jamiepine/voicebox | 57,865 |
| 4 | sgl-project/sglang | 37,256 |
| 5 | bendlang/bend | 23,754 |
| 6 | tracel-ai/burn | 16,125 |
| 7 | vosen/ZLUDA | 15,096 |
| 8 | NVIDIA/TensorRT-LLM | 14,843 |
| 9 | NVIDIA/cuda-rust | 3,732 |
| 10 | SemiAnalysisAI/InferenceX | 1,871 |