bendlang/bend
Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
О проекте
Bend 2 — язык программирования с зависимыми типами и доказательствами, компилирующийся под CPU и GPU. Позволяет задавать законы в LAWS.bend, которые компилятор механически проверяет, блокируя ошибки AI-агентов.
Чем пригодится
- Задать инварианты приложения в LAWS.bend, чтобы компилятор не давал агенту их нарушить
- Запустить bend PROOF.bend перед коммитом для проверки доказательств корректности
- Распараллелить вычисление на GPU без написания ядер и работы с потоками
Пересказ README моделью DeepSeek V4.1 Flash. Может ошибаться в деталях.
Почему он в тренде
- Сегодня 132 звезды. Обычный темп — 2 в день, сейчас в 80 раз больше.
- Всплеск держится 3 дня подряд — это не случайный выброс.
- GitHub Trending TypeScript за день: #11, +188 звёзд.
- Hacker News: «Bend – a language that blocks AI mistakes via proof and runs on GPUs» — 612 очков, 4 дня назад.
- Около 18 форков в сутки — код забирают себе.
- Среди свежих форков — заметные разработчики: @rom1504 (2 242 подп.), @mizchi (1 852 подп.).
Звёзды по дням
Столбики — звёзды за день, линия — обычный темп. Красным — дни всплесков.
Цифры
- Всего звёзд
- 22 310
- Сегодня
- 132
- Форков
- 666
- Issues и pull requests
- 970
- Наблюдателей
- 133
- Язык
- TypeScript
- Лицензия
- Apache-2.0
- Последний релиз
- v2.0.25 · 21 сентября 2026
- Создан
- 29 августа 2023
- Последний коммит
- 21 сентября 2026
Доверие к звёздам
Рост выглядит естественно: форков и обсуждений столько, сколько бывает у живых проектов, а звёзды приходят неровно, как от людей.
Это эвристики, а не приговор: судим по поведению репозитория, а не по списку звездивших.
Обсуждения на Hacker News
- Bend – a language that blocks AI mistakes via proof and runs on GPUs612 очков, 17 сентября 2026
- Bend 2 Is Here18 очков, 17 сентября 2026
Где замечен
- 21 сентября 2026GitHub Trending TypeScript за день: #11, +188 звёзд
Поделиться
Бейдж для README
Вставьте в README — бейдж сам показывает свежую магнитуду и ведёт на эту страницу.
[](https://gitnova.dev/r/bendlang/bend)Ещё в этой категории
-
5,3
Volumeyascoop/RbxForge
CLI-генератор проектов для Roblox и Rojo: создаёт готовую структуру проекта одной командой из шаблонов game, library или plugin.
-
5,2
BansheeLight/RbxForge
CLI-генератор проектов для Roblox и Rojo: создаёт готовую структуру проекта одной командой по шаблонам game, library или plugin.
-
4,8
ahmedkhaleel2004/gitdiagram
Веб-сервис, который превращает любой публичный или приватный GitHub-репозиторий в интерактивную диаграмму архитектуры: анализирует дерево файлов, README и фрагменты кода с помощью LLM и строит граф системы с ссылками…
-
4,5
superagents-lab/jev-search
Веб-поиск, где Jev от TypeSafe разбирает вопрос на естественном языке, выбирает источники, временные диапазоны и запросы, а затем ранжирует результаты через Search1API с видимыми оценками релевантности. Выдаёт ссылки и…
-
4,4
gylive/ccodex-sleep-state
Локальный инструмент на Go, который пытается улучшить работу Codex: собирает и подставляет X-Codex-Turn-State, управляет прокси, подписками и моделями Astra/Sol/Terra через веб-панель. Не гарантирует повышения качества…
-
4,2
alibaba/open-code-review
AI-инструмент для код-ревью из Alibaba: читает git-диффы и через LLM-агента с доступом к файлам и поиску по репозиторию выдаёт замечания с точностью до строки. Есть встроенные правила (NPE, thread-safety, XSS, SQL…