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日）+3%規模に対する直近7日の伸び
加速度+208%前週からの増加ペースの変化
定着率+34%trending初掲載30日後の伸びの維持
注目度553指標を0〜100に揃えて合成
指標の定義はこのサイトについて を参照。
star推移とTrending掲載（直近30日）
+174★/日デイリーマンスリー
2026/9/302026/10/29
帯はtrendingに載った日（濃いほど上位）
日別の掲載順位を表で見る（7日）
| 日付 | デイリー | ウィークリー | マンスリー |
|---|---|---|---|
| 2026年10月25日 | typescript 4位 +107 | — | — |
| 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/30・trending初掲載 2026/9/22
同じカテゴリの注目リポジトリ（開発ツール）
- IPedrax/BIMCraft
- rdlabo-dev/cf-workers-native
- deepfounder-ai/desigma
- Nutlope/hallmark
- fabio-rovai/open-ontologies
cuda 内の順位
| # | リポジトリ | ★ |
|---|---|---|
| 1 | vllm-project/vllm | 95,796 |
| 2 | debpalash/VoiceStudio | 93,095 |
| 3 | jamiepine/voicebox | 58,916 |
| 4 | sgl-project/sglang | 38,326 |
| 5 | bendlang/bend | 24,520 |
| 6 | tracel-ai/burn | 16,192 |
| 7 | vosen/ZLUDA | 15,148 |
| 8 | NVIDIA/TensorRT-LLM | 14,969 |
| 9 | NVIDIA/cuda-rust | 3,859 |
| 10 | mw00/project-maya | 2,157 |