rucctamnd
NOUVEAUrucc est un compilateur C optimisant en phase initiale écrit en Rust. Il vise SQLite, PostgreSQL et Linux, utilisant des règles de réécriture vérifiées par SMT, un IR SSA sans poison, des e-graphs et des objets/DWARF auto-encodés.
Découvrez des projets open source de qualité, soumettez des projets anonymement, puis revendiquez et éditez votre propre projet.
Un peu de curiosité. Un monde de code ouvert.
THE FIRST COLLECTIONrucc est un compilateur C optimisant en phase initiale écrit en Rust. Il vise SQLite, PostgreSQL et Linux, utilisant des règles de réécriture vérifiées par SMT, un IR SSA sans poison, des e-graphs et des objets/DWARF auto-encodés.