Ce tutoriel interactif guide les développeurs débutants et intermédiaires dans la maîtrise du framework React. À travers des défis pratiques et des solutions guidées, il permet de construire une application web complète incluant un catalogue d'articles, un système de recherche, un panier d'achat et une interface utilisateur réactive. L'objectif est de transmettre des compétences concrètes en développement front-end tout en encourageant la résolution autonome de problèmes.

Ce projet propose des ressources et outils pour apprendre à utiliser Git, un système de gestion de versions décentralisé. Il permet aux développeurs débutants ou confirmés de maîtriser les commandes essentielles, les workflows collaboratifs et les stratégies de branching. Les utilisateurs peuvent s'entraîner via des exercices pratiques et des tutoriels interactifs pour améliorer leur productivité dans le développement logiciel.

Ce projet propose des ressources et outils pour apprendre à utiliser Git, un système de gestion de versions décentralisé. Il permet aux développeurs débutants ou confirmés de maîtriser les commandes essentielles, les workflows collaboratifs et les stratégies de branching. Les utilisateurs peuvent s'entraîner via des exercices pratiques et des tutoriels interactifs pour améliorer leur productivité dans le développement logiciel.

Ce projet vise à fournir un cadre pour développer des applications graphiques interactives en utilisant OpenGL et Go. Il permet aux utilisateurs de créer des interfaces dynamiques, des jeux vidéo 2D ou des simulations de systèmes informatiques. Destiné principalement aux développeurs et étudiants, il facilite l'apprentissage des concepts de programmation système et graphique.

SAE_DEV_C2 est un projet de développement d'un jeu vidéo 2D en monde ouvert. Le joueur évolue dans un environnement interactif où il peut explorer, collecter des ressources, fabriquer des objets, combattre des ennemis et interagir avec des PNJ. Le système de craft permet de créer des armes, armures et consommables, tandis que l'IA gère les déplacements et les comportements des ennemis. L'interface propose un inventaire dynamique et une vue du terrain en temps réel.

Plateforme open source développée par la Ville de Paris pour créer des applications web modulaires destinées à la gestion de services publics numériques. Elle permet aux administrations de déployer rapidement des solutions métiers comme des formulaires interactifs, des systèmes de prise de rendez-vous, des espaces de publication de contenus ou des portails sécurisés pour les citoyens. La plateforme est conçue pour être flexible, évolutive et adaptable à différents besoins administratifs.

Libusb est une bibliothèque open source qui permet aux développeurs d'accéder et de contrôler des périphériques USB depuis des applications utilisateur. Elle facilite l'interaction avec des appareils matériels comme des capteurs, des imprimantes ou des microcontrôleurs, indépendamment du système d'exploitation. Utilisée dans de nombreux projets embarqués et logiciels, elle simplifie le développement d'interfaces entre logiciels et matériel.

Ce projet fournit un template de base pour développer des applications web interactives avec R-Shiny. Il inclut une structure standardisée avec les fichiers ui.R, server.R et global.R, ainsi qu'un système d'intégration continue pour automatiser le déploiement via Docker. Destiné aux développeurs et chercheurs, il facilite la création rapide d'applications analytiques et visuelles tout en assurant une maintenance simplifiée grâce à des pipelines CI/CD.

Librairie logicielle open source dédiée au pilotage d'actionneurs piézoélectriques et à la détection de touches capacitives pour boutons et pavés tactiles. Elle permet de créer des interfaces utilisateur interactives et réactives, notamment pour des applications nécessitant une sensibilité tactile avancée ou des retours haptiques précis. Initialement développée dans le cadre d'un projet européen, elle est adaptée aux systèmes embarqués et aux environnements interactifs.

Ce projet fournit des encodages de règles d'inférence et de méta-théorèmes utilisés pour la vérification du prouveur automatique de théorèmes Leo-III en logique d'ordre supérieur. Les encodages sont développés dans le cadre du système Dedukti et exploités via l'assistant de preuve interactif Lambdapi. Il facilite la clausification, la simplification de termes et la gestion des littéraux pour les preuves automatisées.