오픈 소스. 새로운 가능성.

Synth는 ARM Cortex-M/R, RISC-V RV32IMAC 및 AArch64를 대상으로 하는 AOT WebAssembly-to-native 컴파일러로, Rocq 기계화 정밀성 증명과 SMT 번역 검증을 제공하는 Apache-2.0 라이선스의 임베디드 중심 프로젝트입니다.

rucc는 Rust로 작성된 초기 단계 최적화 C 컴파일러이며, README에 따르면 아직 C 코드를 컴파일하지 못합니다. M0와 M1은 작업공간, 체크된 레이어 규칙, 드라이버 골격, Linux/macOS/Windows CI, 전처리기를 포함합니다. 목표는 SQLite, PostgreSQL, Linux이며, SMT 검증 재작성 규칙, 포이즌 없는 SSA IR, e‑graph, 자체 인코딩 객체/DWARF를 사용합니다.