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.
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.
ESPectre transforme les cartes ESP32 prises en charge en capteurs de mouvement Wi-Fi CSI locaux, avec firmware prêt à flasher, intégrations Home Assistant/MQTT/Matter, outils navigateur, CLI et SDK C++ embarquable.
TartLab est un IDE MicroPython léger basé sur le navigateur, servi directement par des appareils embarqués. Conçu pour les salles de classe, il élimine l'installation d'IDE sur bureau. Il propose la coloration syntaxique, une console REPL et des mises à jour via navigateur.
raylib est une bibliothèque C simple et facile à utiliser pour la programmation de jeux vidéo, idéale pour le prototypage, l'éducation et les applications graphiques.
Embassy est un framework embarqué moderne en Rust utilisant l'async, offrant une multitâche sûre et efficace sans RTOS. Il propose des HALs pour STM32, nRF, RP2040, etc., avec support du temps global, Bluetooth LE, USB et réseau.
CloudPath est une plateforme de contrôle IoT auto-hébergée composée d'un service central et de passerelles. Elle permet la gestion des appareils, la surveillance d'état et le contrôle à distance via Go et React, avec un stockage SQLite et une licence MIT.
Une liste organisée de ressources en programmation embarquée couvrant les plateformes MCU, le développement bare-metal, les RTOS, le noyau Linux et les drivers, les chaînes d'outils et le matériel d'apprentissage.
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.
