Open source. Open possibilities.

Synth is an ahead-of-time WebAssembly-to-native compiler targeting ARM Cortex-M/R, RISC-V RV32IMAC and AArch64, with Rocq mechanized correctness proofs and SMT translation validation. Pre-release, embedded-focused, Apache-2.0.

A "zero setup" tool for cross-compiling and cross-testing Rust crates using Docker or Podman.

rucc is an early-stage optimizing C compiler written in Rust. The README says nothing compiles C yet: M0/M1 cover the workspace, checked layer rule, driver skeleton, CI on Linux/macOS/Windows, and a preprocessor. It aims at SQLite, PostgreSQL and Linux, using SMT-verified rewrite rules, poison-free SSA IR, e-graphs, and self-encoded objects/DWARF.

Bun fork patched at source level to run natively on Android Termux (aarch64) without proot, glibc, or wrappers. Enables bunx, bun install, FFI with TinyCC, and opentui TUI rendering — all compiled directly into the binary.