Cadna est une ressource pédagogique dédiée à l'enseignement de l'inférence de type en C++ (mot-clé `auto`) et des fonctionnalités avancées de C++11/14. Elle propose des exemples pratiques, des exercices et des explications détaillées pour maîtriser les mécanismes de déduction de type, les templates et les bonnes pratiques de programmation en C++. Destinée aux développeurs et étudiants, elle facilite l'apprentissage des concepts modernes du langage.

Ce projet est un support pédagogique destiné à l'enseignement des bases de la programmation scientifique avec Python. Il couvre spécifiquement l'utilisation de la bibliothèque numpy, un outil essentiel pour le calcul numérique en Python. Destiné aux étudiants, il propose des cours théoriques et des travaux pratiques pour maîtriser les fonctionnalités clés de numpy, comme les tableaux multidimensionnels et les opérations mathématiques avancées.

L'ISAE-SUPAERO est une école d'ingénieurs française de référence, spécialisée dans l'enseignement supérieur et la recherche en ingénierie aérospatiale. Elle propose des formations d'excellence, des programmes de recherche avancée et des initiatives pour promouvoir l'innovation et la transition écologique dans le domaine aéronautique et spatial. L'école forme des professionnels capables de relever les défis technologiques et environnementaux du secteur.

Ce projet pédagogique est un TP universitaire conçu pour enseigner la programmation en C++ et la manipulation des structures de données, notamment les listes chaînées. Il prépare les étudiants à des travaux pratiques ultérieurs sur des structures plus complexes comme les Skip-Lists. Le dépôt fournit un cadre pour implémenter et tester des fonctionnalités de base et avancées des listes chaînées.

Ce projet est une ressource pédagogique dédiée à l'enseignement de la programmation système avancée. Il sert de support pour des exercices pratiques et des travaux dirigés dans un cadre académique.

Projet éducatif visant à fournir des ressources et outils pour l'apprentissage de la programmation. Il inclut des cours, des exercices et des supports pédagogiques conçus pour faciliter la compréhension des concepts fondamentaux et avancés du développement logiciel. Destiné aux étudiants, enseignants et autodidactes.

Ce projet permet de contrôler des matrices LED programmables pour afficher des messages, des animations ou des couleurs personnalisées. Il offre des fonctionnalités avancées comme la gestion de capteurs sonores pour des réactions dynamiques, la création d'effets lumineux variés et l'intégration avec des systèmes de contrôle à distance. Idéal pour des installations artistiques, des enseignes lumineuses ou des dispositifs interactifs.

Ce projet propose un ensemble de ressources pédagogiques et d'exercices pratiques pour enseigner la conception orientée objet et la programmation en Smalltalk avec le langage Pharo. Il inclut des supports de cours, des exercices PDF, des tutoriels et des exemples concrets pour faciliter l'apprentissage des concepts avancés de la programmation orientée objet.

Ce projet pédagogique propose un support d'enseignement sur les séries génératrices, un concept fondamental en algorithmique et combinatoire. Il inclut des cours théoriques, des sujets de travaux pratiques et des consignes pour les étudiants. Destiné aux formations universitaires avancées, il facilite l'apprentissage et l'évaluation des compétences en mathématiques discrètes et en programmation.

Ce projet académique propose un enseignement complet en programmation fonctionnelle et en preuves formelles utilisant l'assistant de preuve Coq/Rocq. Destiné aux étudiants de Master 2 LMFI de l'Université de Paris, il couvre des sujets avancés comme la compression de données, la compilation certifiée et la formalisation de théorèmes mathématiques. Les étudiants réalisent des projets pratiques pour appliquer ces concepts théoriques.