Bibliothèque et outil en ligne de commande Rust dédié à la manipulation de formules Decision-DNNF. Permet de compiler, vérifier, compter, énumérer et échantillonner des modèles logiques à partir de formules compilées. Utilisé en intelligence artificielle pour des tâches d'inférence et de raisonnement automatisé sur des connaissances structurées.

Le projet LPP_compiler_explorer est une plateforme web dédiée à la compilation croisée et à l'expérimentation de code en ligne. Il permet aux développeurs de comparer différents compilateurs et de tester leur code dans un environnement sécurisé et pratique. Cet outil facilite l'apprentissage des langages de programmation et favorise le partage de connaissances entre les développeurs.

Ce projet est un travail pratique (TP) destiné aux étudiants en sécurité informatique. Il consiste à appliquer et comprendre les droits Unix à travers des exercices concrets. Les participants doivent lire des instructions et compiler un rendu pour valider leurs connaissances.

Ce projet compile et met à disposition des cours complets en statistique, couvrant divers niveaux d'enseignement. Il vise à faciliter l'accès aux ressources éducatives pour les étudiants, enseignants et autodidactes souhaitant approfondir leurs connaissances en statistique.

Cahiers de travaux pratiques de compilation en Master 1 d'Informatique à l'Université de Strasbourg, comprenant des démonstrations en direct et des exemples d'analyse syntaxique avec Bison.

Le Jardin des connaissances est un projet dédié à la diffusion et à la valorisation des savoirs sous toutes leurs formes. Il propose des ateliers, des rencontres et des ressources éducatives pour tous les publics, favorisant l'apprentissage collaboratif et l'échange de connaissances. Ce projet s'inscrit dans une démarche d'éducation populaire et de médiation culturelle.

Plateforme officielle dédiée au Service National Universel (SNU) en France. Elle centralise les informations, guides et ressources pour les jeunes, les professionnels et les volontaires. Elle permet d'accéder à des bases de connaissances, des espaces dédiés et des outils pour faciliter l'engagement citoyen des jeunes.

Plateforme dédiée à la gestion de projets logiciels avec des outils intégrés pour le développement collaboratif, l'automatisation des tests, l'analyse de sécurité et le déploiement continu. Permet aux équipes de travailler efficacement sur des projets techniques tout en assurant la qualité et la sécurité du code.

Ce projet académique vise à structurer et gérer des connaissances informatiques de manière collaborative. Il permet aux étudiants de travailler en équipe sur des projets semestriels, en organisant les informations selon des normes d'URI claires. L'objectif est de faciliter le partage et la documentation des travaux réalisés.