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

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

raylib — это простая и удобная библиотека на языке C для программирования видеоигр, которая идеально подходит для прототипирования, обучения и создания графических приложений.

rucc — ранний оптимизирующий C‑компилятор, написанный на Rust. В README указано, что пока он не компилирует C: M0/M1 покрывают рабочее пространство, проверку правила слоёв, каркас драйвера, CI на Linux/macOS/Windows и препроцессор. Целятся в SQLite, PostgreSQL и Linux, используя проверенные SMT правила переписывания, безядровый SSA‑IR, e‑graphs и собственное кодирование объектов/DWARF.

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