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 COLLECTIONCe projet fournit un build modifié de Bun qui tourne nativement sur Android/Termux (aarch64) avec Bionic libc, sans proot ni glibc. Les correctifs sont compilés directement dans le binaire via des branches Rust #[cfg(target_os = "android")]. Il résout les crashs de bun install (seccomp), les échecs de bunx (shebang), et active FFI complet avec TinyCC, ainsi que le rendu TUI opentui.
Synth 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.
Un outil "zéro configuration" pour la compilation croisée et les tests croisés de crates Rust utilisant Docker ou Podman.
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.
