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

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

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

Форк Bun, патченный на уровне исходного кода для нативного запуска на Android Termux (aarch64) без proot, glibc и обёрток. Поддержка bunx, bun install, FFI с TinyCC и opentui TUI — всё скомпилировано напрямую в бинарник.

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