オープンソース。新しい可能性。

DockerまたはPodmanを使用して、Rustクレートのクロスコンパイルおよびクロステストを「セットアップ不要」で実現するツールです。

Rustで書かれた早期段階の最適化Cコンパイラruccについて解説。SQLite・PostgreSQL・Linuxカーネルをターゲットとし、SMT検証済み変換規則や poison-free SSA IR、e-graphを活用する。現在はプリプロセッサまで実装済み。

Bun をソースレベルで改変し、Android Termux (aarch64) 上で proot、glibc、ラッパーなしでネイティブ動作。bunx、bun install、TinyCC による FFI、opentui TUI レンダリングを実現。すべてバイナリに直接コンイル。

Synthは、ARM Cortex-M/R、RISC-V RV32IMAC、AArch64をターゲットとするWebAssembly向けAOTコンパイラです。Rocqによる形式的な正当性証明とSMTによる翻訳検証を備え、組み込み向けに開発されているApache-2.0ライセンスのプロジェクトです。