Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ce projet propose des ressources pédagogiques et des travaux pratiques pour initier les apprenants aux fondamentaux du développement logiciel. Il couvre des concepts essentiels comme la compilation, les tests unitaires, l'utilisation de GitLab et la gestion des enregistrements en TypeScript. Destiné aux étudiants ou débutants, il facilite l'apprentissage par la pratique dans un environnement technique structuré.
- Ce projet propose un webinaire interactif organisé dans le cadre de la Nuit du Code par l'AEIF. Il permet de diffuser des présentations dynamiques et des contenus éducatifs à destination des participants, favorisant ainsi l'apprentissage collaboratif et le partage de bonnes pratiques en développement logiciel.
- Notoriété 13 %Ce projet propose une session pratique dédiée à l'apprentissage de GitLab CI, un outil d'automatisation des pipelines de développement. Il permet aux utilisateurs de comprendre comment configurer des workflows d'intégration continue pour des projets logiciels, en facilitant la compilation, les tests et le déploiement automatisé. Destiné aux étudiants ou développeurs débutants, il offre une approche pédagogique pour maîtriser les bases de l'automatisation des processus de développement.
- Outil logiciel permettant de simuler le comportement de caméras pour l'acquisition d'images. Il facilite le développement, les tests et l'apprentissage des bibliothèques d'imagerie sans nécessiter de matériel physique. Utilisé par les développeurs pour valider des algorithmes, configurer des acquisitions ou former des utilisateurs aux systèmes de contrôle d'image.
- Notoriété 21 %Rocq-prover.org est une plateforme en ligne dédiée au langage Rocq, un assistant de preuve formelle. Elle centralise la documentation technique, les paquets logiciels et les ressources pédagogiques pour faciliter l'apprentissage et le développement avec Rocq. Le site propose une interface moderne et accessible, adaptée aux besoins des chercheurs, développeurs et étudiants en informatique théorique.
- Semaine5 est une plateforme dédiée à l'accompagnement et à la formation en développement web et logiciel. Elle propose des projets collaboratifs, des ressources pédagogiques et des outils pour faciliter l'apprentissage et la mise en pratique des compétences techniques. Destinée aux développeurs, étudiants et équipes, elle vise à simplifier la gestion de projets et à favoriser l'innovation.
- Plateforme dédiée à la gestion de projets logiciels avec des fonctionnalités avancées d'intégration continue, de collaboration d'équipe et de sécurité. Permet aux développeurs de centraliser leurs activités de développement, de tester automatiquement le code et de déployer des applications de manière sécurisée. Utilisé principalement dans un contexte universitaire pour faciliter l'apprentissage et la gestion de projets techniques.
- Ce projet est un dépôt Git dédié à l'apprentissage et à la pratique des fonctionnalités de Git et GitLab. Il permet aux utilisateurs de créer, modifier et gérer des fichiers de code source tout en utilisant des outils de collaboration comme les merge requests et les pipelines CI/CD. Idéal pour les étudiants ou les développeurs souhaitant maîtriser la gestion de versions et les bonnes pratiques de développement logiciel.
- Notoriété 7 %Ce projet pédagogique propose un environnement complet pour l'apprentissage des systèmes temps réel (RTOS) et du développement embarqué. Il permet aux étudiants de manipuler des microcontrôleurs ARM SAMD21, de configurer des architectures logicielles via des fichiers de description, et de compiler des applications pour des cartes électroniques spécifiques. Les TP incluent la gestion de périphériques, l'utilisation de timers et la programmation de tâches périodiques.
- DM1 est un projet éducatif dédié à la formation en développement logiciel et aux bonnes pratiques de codage. Il propose des ressources pédagogiques pour enseigner les méthodologies agiles et initier les apprenants à la gestion de projet informatique. Le contenu est structuré pour faciliter l'apprentissage des concepts clés du développement logiciel dans un cadre académique ou professionnel.
73 initiatives
10