Открытый код. Новые возможности.

Takibi — это исследовательский системный язык и монолитное ядро, совместимое с Linux-ABI, разработанное для переноса сбоев ядра из времени выполнения в ошибки компиляции с помощью типов уточнения и аффинного владения.

PlatformIO Core — это инструмент командной строки с открытым исходным кодом для разработки встраиваемого ПО, предоставляющий кроссплатформенную систему сборки, управление библиотеками, отладку, модульное тестирование и статический анализ кода для микроконтроллерных проектов.

Capstone Engine — это фреймворк для дизассемблирования с открытым исходным кодом, написанный на чистом C. Поддерживает более 20 архитектур, включая x86, ARM, AArch64, RISC-V, MIPS и PowerPC. Отличается чистым архитектурно-нейтральным API, привязками для многих языков и детальной семантикой инструкций для анализа бинарного кода и реверс-инжиниринга.

Synth — это AOT-компилятор WebAssembly для ARM Cortex-M/R, RISC-V RV32IMAC и AArch64 с механизированными доказательствами корректности в Rocq и SMT-валидацией. Проект с открытым кодом (Apache-2.0) для встраиваемых систем.

Инструмент «без настройки» для кросс-компиляции и кросс-тестирования крейтов Rust с использованием Docker или Podman.