# bendlang/bend

> Bend 2 — язык программирования с зависимыми типами и доказательствами, компилирующийся под CPU и GPU. Позволяет задавать законы в LAWS.bend, которые компилятор механически проверяет, блокируя ошибки AI-агентов.

- Магнитуда: 5,3 из 10 — На пике
- Звёзды: 22 505 всего · +0 звёзд сегодня, к вечеру ≈ 128
- Доверие к звёздам: рост звёзд выглядит естественно
- Категория: Инструменты разработчика · Язык: TypeScript · Лицензия: Apache-2.0 · Создан: 2023-08-29 · Последний коммит: 2026-09-22
- GitHub: https://github.com/bendlang/bend · Сайт: https://bend-lang.com · Страница: https://gitnova.dev/r/bendlang/bend

## Чем пригодится

- Задать инварианты приложения в LAWS.bend, чтобы компилятор не давал агенту их нарушить
- Запустить bend PROOF.bend перед коммитом для проверки доказательств корректности
- Распараллелить вычисление на GPU без написания ядер и работы с потоками

## Почему он здесь

- Сегодня уже 0 звёзд, к концу дня ожидается около 128. Обычный темп — 2 в день, сейчас в 65 раз больше.
- Интерес спадает: темп за двое суток — 58% от уровня предыдущих полутора недель.
- Всплеск держится 3 дня подряд — это не случайный выброс.
- Hacker News: «Bend – a language that blocks AI mistakes via proof and runs on GPUs» — 614 очков, 5 дней назад.
- Около 14 форков в сутки — код забирают себе.

## Доверие к звёздам

Рост звёзд выглядит естественно.

Метки доверия к звёздам — эвристики по поведению репозитория, а не проверка каждого, кто поставил звезду.

## Цифры

- Форков: 678
- Issues и pull requests: 996
- Наблюдателей: 131
- В среднем за неделю: 416 в день
- Обычный темп: 2 в день
- Звёзд за последний час (по замерам): 5
- Последний релиз: v2.0.25 (2026-09-21)

## Звёзды по дням за 30 дней (от старых к новым, сегодня — неполный день)

2026-08-25 … 2026-09-23: 1, 0, 2, 0, 0, 2, 2, 3, 1, 0, 5, 4, 2, 2, 1, 2, 3, 3, 0, 0, 4, 2, 11, 956, 781, 472, 239, 205, 134, 0

## Магнитуда по дням за 3 дня

09-21 6,3, 09-22 5,9, 09-23 5,3

## Hacker News

- Bend – a language that blocks AI mistakes via proof and runs on GPUs — 614 очков, 325 комментариев: https://news.ycombinator.com/item?id=49746163
- Bend 2 Is Here — 18 очков, 3 комментариев: https://news.ycombinator.com/item?id=49746203

## Ещё в этой категории

1. **dream-num/univer** — 7,2 · Взлёт · Инструменты разработчика · TypeScript · +0 звёзд сегодня, к вечеру ≈ 569
   Открытый SDK на TypeScript для встраивания редакторов таблиц, документов и презентаций в собственные продукты: плагинная архитектура, Canvas-рендеринг, движок формул и единый Facade API для браузера и Node.js. Подходит для SaaS,…
   Полная карточка: https://gitnova.dev/r/dream-num/univer.md
2. **anmolkapil/plexo** — 5,2 · Взлёт · Инструменты разработчика · TypeScript · +0 звёзд сегодня, к вечеру ≈ 332
   Менеджер загрузок для Windows и macOS, который ускоряет скачивание, разбивая файл на 8 МБ чанки и качая их параллельно через несколько сетевых интерфейсов (Wi-Fi, Ethernet, USB-тетеринг).
   Полная карточка: https://gitnova.dev/r/anmolkapil/plexo.md
3. **geastack/examples** — 5,0 · Ранний сигнал · Инструменты разработчика · TypeScript · +0 звёзд сегодня, к вечеру ≈ 46
   Коллекция примеров приложений и инструментов для GeaStack: небольшие TSX-приложения с манифестом gea, используемые симулятором, встраиваемыми платами, GeaOS и расширением для IDE.
   Полная карточка: https://gitnova.dev/r/geastack/examples.md
4. **OnlistTeam/ai-manager** — 4,1 · Ранний сигнал · Инструменты разработчика · Rust · +0 звёзд сегодня, к вечеру ≈ 50
   Локальное десктопное приложение для установки, обновления и настройки CLI-инструментов AI-кодинга (Claude Code, Codex и др.), а также управления их API-эндпоинтами, Skills, MCP и промптами без ручного редактирования конфигов и PATH.
   Полная карточка: https://gitnova.dev/r/OnlistTeam/ai-manager.md
5. **tt-a1i/archify** — 4,1 · Ровно · Инструменты разработчика · JavaScript · +0 звёзд сегодня, к вечеру ≈ 545
   Инструмент для агентов (Cursor, Claude Code, Codex CLI, OpenCode), который превращает описание системы или кодовую базу в интерактивные HTML/SVG-диаграммы архитектуры, workflow, sequence, data-flow и lifecycle из типизированного JSON IR.
   Полная карточка: https://gitnova.dev/r/tt-a1i/archify.md

---

Магнитуда (0–10) — насколько быстро и необычно сейчас растёт интерес к репозиторию. Это не оценка качества.
Дни — по UTC. «Уже сегодня» — факт, «к вечеру ≈» — прогноз.
Описания и сценарии пишет модель (DeepSeek V4.1 Flash) по README, в деталях возможны ошибки: конкретные утверждения (замеры, скорость, железо) проверяйте в самом репозитории.
Данные на 2026-09-23 00:34 UTC, обновление каждые 30 минут.