bendlang /bend

Новый язык программирования, который проверяет код на ошибки математическим доказательством — для разработчиков, использующих ИИ.

Bend позиционируется как язык для точной постановки задач ИИ-моделям, пишущим код: он умеет проверять, что сгенерированный код действительно соответствует заданным правилам, с помощью формальных доказательств. Авторы заявляют высокую скорость выполнения — на уровне C на процессоре и CUDA на видеокарте, а также параллельную работу без ручного управления потоками. Компилятор также умеет быстро проверять математические доказательства.

Описание автора: Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

TypeScript★ 20 020создан 29 августа 2023форков 512Apache-2.0
bendcudadependent-typesgpumetalparallelprogramming-languageproof

Открыть на GitHub → Сайт проекта

Сколько звёзд прибавилось

Без значка — точная разница ежедневных снимков счётчика GitHub, со значком ≈ — оценка по архиву событий.

Точный счётчик GitHub: +160 звёзд с 16:20 17 сентября по 00:20 18 сентября.

Прирост по дням за 3 месяца

19 июня: ≈020 июня: ≈021 июня: ≈022 июня: ≈023 июня: ≈024 июня: ≈025 июня: ≈026 июня: ≈4727 июня: ≈028 июня: ≈029 июня: ≈030 июня: ≈01 июля: ≈02 июля: ≈03 июля: ≈04 июля: ≈395 июля: ≈06 июля: ≈07 июля: ≈08 июля: ≈09 июля: ≈010 июля: ≈011 июля: ≈012 июля: ≈013 июля: ≈014 июля: ≈015 июля: ≈016 июля: ≈017 июля: ≈018 июля: ≈019 июля: ≈020 июля: ≈021 июля: ≈022 июля: ≈023 июля: ≈024 июля: ≈025 июля: ≈026 июля: ≈027 июля: ≈028 июля: ≈029 июля: ≈030 июля: ≈031 июля: ≈01 августа: ≈02 августа: ≈03 августа: ≈04 августа: ≈05 августа: ≈06 августа: ≈07 августа: ≈08 августа: ≈09 августа: ≈010 августа: ≈011 августа: ≈012 августа: ≈013 августа: ≈014 августа: ≈015 августа: ≈016 августа: ≈017 августа: ≈018 августа: ≈019 августа: ≈020 августа: ≈021 августа: ≈022 августа: ≈023 августа: ≈024 августа: ≈025 августа: ≈026 августа: ≈027 августа: ≈028 августа: ≈029 августа: ≈030 августа: ≈031 августа: ≈01 сентября: ≈02 сентября: ≈03 сентября: ≈04 сентября: ≈75 сентября: ≈66 сентября: ≈07 сентября: ≈08 сентября: ≈09 сентября: ≈010 сентября: ≈911 сентября: ≈012 сентября: ≈013 сентября: ≈014 сентября: ≈2615 сентября: ≈016 сентября: ≈017 сентября: ≈11719 июняиюльавгсент

Оценка по выборке GH Archive. Бледные столбцы — дни, история за которые ещё загружается.