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 COLLECTIONPlatformIO 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.
Capstone Engine est un framework de désassemblage open-source en C pur, prenant en charge plus de 20 architectures (x86, ARM, AArch64, RISC-V, MIPS, PowerPC, etc.), avec une API neutre, des liaisons multi-langages et des sémantiques d'instructions détaillées pour l'analyse binaire et le reverse engineering.
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.
Une API légère conçue avec Elysia et FFmpeg pour capturer des captures d'écran et générer des GIFs à partir de liens HLS d'épisodes d'anime.
Un outil "zéro configuration" pour la compilation croisée et les tests croisés de crates Rust utilisant Docker ou Podman.
Takibi est un langage de systèmes de recherche et un noyau monolithique compatible Linux-ABI, conçu pour transformer les pannes d'exécution du noyau en erreurs de compilation grâce aux types de raffinement et à la propriété affine.
