好开源，值得被发现。

一个基于 Docker 或 Podman 的“零配置”工具，用于 Rust crate 的交叉编译和交叉测试。

rucc 是用 Rust 编写的早期优化 C 编译器。README 表明尚未能编译 C：M0/M1 完成工作区、检查层规则、驱动框架、Linux/macOS/Windows CI 与预处理器。目标是 SQLite、PostgreSQL 与 Linux，采用 SMT 验证的重写规则、无毒 SSA IR、e-graph 与自实现的对象/DWARF。

此项目提供 Bun 的修改版构建，可在 Android/Termux（aarch64）上以 Bionic libc 原生运行，无需 proot、glibc-runner、LD_PRELOAD 或 termux-exec；所有修复均通过 Rust 的 #[cfg(target_os = "android")] 分支直接编译进二进制。

Synth 是一款将 WebAssembly 编译为 ARM Cortex-M/R、RISC-V RV32IMAC 及 AArch64 原生二进制文件的 AOT 编译器。它通过 Rocq 机械化证明和 SMT 翻译验证确保正确性，专注于嵌入式场景，采用 Apache-2.0 协议。