Plateforme dédiée à la simulation et à la gestion d'une colonie sur l'île de Catane, inspirée du célèbre jeu de société. Les utilisateurs peuvent construire des routes, des villages et des villes, échanger des ressources et développer leur stratégie pour dominer l'île. Le projet offre une expérience immersive et interactive pour les amateurs de jeux de stratégie.

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.

Ce projet est une formation en ligne (MOOC) sur l'apprentissage automatique en Python, utilisant la bibliothèque scikit-learn. Il comprend des notebooks Jupyter interactifs, des leçons en texte enrichi et des visualisations de données avec Matplotlib, Seaborn et Plotly. Les étudiants peuvent apprendre à leur propre rythme et bénéficier de fonctionnalités supplémentaires telles que des quiz et un forum de discussion.

Bibliothèque Svelte dédiée à l'intégration de cartes interactives basées sur Leaflet. Permet aux développeurs d'ajouter facilement des fonctionnalités cartographiques avancées dans leurs applications web, avec un support natif de TypeScript et une réactivité optimale. Idéale pour les projets nécessitant une visualisation de données géospatiales ou une interface utilisateur cartographique.

Ce projet propose une plateforme interactive permettant de simuler des parties d'échecs en temps réel. Les utilisateurs peuvent créer des échiquiers personnalisés, déplacer les pièces selon les règles du jeu et analyser les stratégies possibles. Idéal pour les joueurs débutants ou expérimentés souhaitant s'entraîner ou explorer des tactiques.

Le projet module-jeu offre des fonctionnalités de jeu interactif, permettant de gérer les scores et classements des joueurs, ainsi que de faciliter l'intégration de jeux dans des sites web. Il vise à enrichir l'expérience utilisateur en proposant des jeux adaptés aux besoins des plateformes sur lesquelles ils sont intégrés.

Plateforme publique dédiée aux entrepreneurs et créateurs d'entreprise en France. Elle propose des outils interactifs comme des simulateurs et assistants pour répondre aux questions pratiques sur la gestion, la fiscalité et les obligations administratives. L'objectif est de simplifier les démarches et de lever les incertitudes liées à l'administration, permettant aux utilisateurs de se concentrer sur le développement de leur activité.

LearnDataTable est une plateforme interactive conçue pour faciliter l'apprentissage de la manipulation de données avec le package R {data.table}. Elle propose des tutoriels pratiques et des exercices guidés pour former les utilisateurs à cette bibliothèque puissante et optimisée pour la gestion de grands jeux de données. Le projet s'inscrit dans le cadre de formations proposées par Genotoul Biostat, un service de bioinformatique et biostatistique.

Ce projet propose des ressources pédagogiques et des travaux pratiques pour l'introduction au machine learning. Il inclut des notebooks interactifs accessibles via différents environnements (mésocentre IPSL, Jupyter Hub, Google Colab) pour faciliter l'apprentissage et la pratique des étudiants en master. Les supports sont conçus pour être utilisés en séance ou en autonomie.

Ce service public propose une cartographie interactive permettant de visualiser et d'analyser des indicateurs territoriaux liés au changement climatique, à l'énergie, à l'environnement, au logement et aux transports. Les utilisateurs peuvent combiner des indicateurs à différentes mailles géographiques, générer des tableaux, graphiques et cartes personnalisés, puis les télécharger pour les réutiliser dans leurs propres diagnostics ou rapports.