Ce projet développe une représentation symbolique des structures de Kripke probabilistes issues de la logique épistémique dynamique. Il permet de modéliser et vérifier des systèmes complexes où des agents interagissent et acquièrent des connaissances. Les outils implémentés facilitent l'analyse de scénarios comme les jeux de cartes ou les problèmes classiques de logique, en offrant une approche efficace pour les calculs de vérification et d'expérimentations.

Octomap est un projet open source dédié à la représentation efficace de cartes 3D probabilistes à l'aide de structures de données octrees. Il permet de modéliser des environnements en trois dimensions pour des applications en robotique, navigation autonome ou cartographie. Le projet facilite l'intégration et l'utilisation de ces données dans des systèmes de perception et de planification.

Ce projet est un wrapper PID pour le projet externe octomap, qui fournit une représentation efficace de la cartographie 3D probabiliste à l'aide d'octrees. Le wrapper est sous licence BSD.

DiceWars_CPP est un jeu de stratégie où les joueurs s'affrontent en contrôlant des territoires représentés par des dés. Chaque tour, ils lancent les dés pour conquérir des zones voisines ou défendre leurs positions. Le but est de dominer la carte en utilisant des tactiques et des calculs de probabilités. Le jeu propose plusieurs niveaux de difficulté et des stratégies variées pour s'adapter à tous les joueurs.

Ce projet pédagogique, organisé dans le cadre de la licence MIAGE, vise à enseigner les modèles statistiques et la programmation lettrée. Il combine des cours théoriques sur la représentation des données, leur manipulation et les probabilités, avec des travaux dirigés pratiques utilisant des outils comme RStudio et ggplot2. Les étudiants réalisent également un mini-projet en binôme pour appliquer ces compétences.

Ce projet sert de dépôt centralisé pour héberger et documenter des ressources liées à un établissement ou une organisation. Il facilite la collaboration entre les membres d'une équipe en fournissant un espace dédié à la gestion de fichiers, au suivi des modifications et à l'automatisation des tests et déploiements. Idéal pour structurer et partager des informations techniques ou administratives.

Ce projet permet de créer des présentations interactives et dynamiques à partir de fichiers Markdown, destinées à des formations techniques ou des supports de cours. Il utilise des outils modernes comme Vue.js et reveal.js pour générer des diapositives visuellement attrayantes et faciles à partager. Les utilisateurs peuvent personnaliser leur contenu et l'exporter sous forme de pages web interactives.