rucctamnd
新着Rustで書かれた早期段階の最適化Cコンパイラruccについて解説。SQLite・PostgreSQL・Linuxカーネルをターゲットとし、SMT検証済み変換規則や poison-free SSA IR、e-graphを活用する。現在はプリプロセッサまで実装済み。
OPEN SOURCE, OPEN TO EVERYONE
オープンソース。新しい可能性。
優れたオープンソースプロジェクトを見つけ、匿名でプロジェクトを投稿し、自分のプロジェクトを申請して編集できます。
✳編集部選定 · 良いオープンソースを発見4109発見済み
好奇心とともに、オープンソースの世界へ。
THE FIRST COLLECTIONTopic: smt清除