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.
PlatformIO Core est une chaîne d'outils en ligne de commande open-source pour le développement de logiciels embarqués, offrant un système de construction multiplateforme, une gestion de bibliothèques, le débogage, les tests unitaires et l'analyse statique de code pour les projets de microcontrôleurs.
