Descubre proyectos de código abierto de calidad, envía proyectos de forma anónima y reclama y edita tu propio proyecto.
Un poco de curiosidad. Un mundo de código abierto.
THE FIRST COLLECTIONSynth es un compilador ahead-of-time de WebAssembly a nativo para ARM Cortex-M/R, RISC-V RV32IMAC y AArch64, con pruebas de corrección mecanizadas en Rocq y validación de traducción SMT. Versión pre-lanzamiento, enfocada en embebidos, Apache-2.0.
rucc 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.
