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 COLLECTIONSynth est un compilateur AOT WebAssembly vers natif ciblant ARM Cortex-M/R, RISC-V RV32IMAC et AArch64, avec des preuves de correction mécanisées via Rocq et une validation de traduction SMT. Pré-version, axé sur l'embarqué, Apache-2.0.
rucc 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.
