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

Capstone Engineは、バイナリ解析やリバースエンジニアリング向けに純粋なC言語で書かれたオープンソースの逆アセンブリフレームワークです。x86、ARM、RISC-Vなど20以上のアーキテクチャをサポートし、アーキテクチャに依存しないクリーンなAPIと多言語バインディングを提供します。

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

raylibは、ビデオゲームプログラミング向けのシンプルで使いやすいCライブラリであり、プロトタイピング、教育、およびグラフィカルなアプリケーションに最適です。

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