rucctamnd
NUEVOrucc es un compilador C optimizador en fase temprana escrito en Rust. El README indica que aún no compila C: M0/M1 cubren el espacio de trabajo, regla de capa verificada, esqueleto del driver, CI en Linux/macOS/Windows y un preprocesador. Apunta a SQLite, PostgreSQL y Linux, usando reglas de reescritura verificadas por SMT, IR SSA sin poison, e‑graphs y objetos/DWARF auto‑codificados.