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.

Ce projet vise à transformer les pratiques des ministères sociaux en intégrant l'intelligence artificielle générative dans leurs processus métiers. Il accompagne les équipes (architectes, développeurs, designers, chefs de projet) dans l'adoption d'outils et de méthodes pour automatiser des tâches, améliorer la qualité des livrables et optimiser la collaboration. L'objectif est de créer une usine logicielle où chaque étape du cycle de développement combine un rail agentique (génération) et un rail déterministe (vérification), tout en formant les utilisateurs à ces nouvelles pratiques.

Bibliothèque logicielle permettant l'analyse et la manipulation de modèles logiques décomposables (d-DNNF). Elle offre des fonctionnalités pour compter, énumérer et échantillonner des modèles, ainsi que pour accéder directement aux données sous des hypothèses spécifiques. Utilisée principalement en recherche et en intelligence artificielle pour des tâches de raisonnement automatisé et de vérification de modèles.

Scribe est un projet dédié au traitement et à l'analyse de texte en français et en anglais. Il combine des modèles d'intelligence artificielle pour extraire des données pertinentes, générer des résumés ou des contenus structurés, et automatiser des tâches de rédaction. Utilisé dans des contextes professionnels ou académiques, il facilite la gestion de l'information et améliore la productivité grâce à des algorithmes performants.

Ce projet fournit une infrastructure technique pour déployer et utiliser des modèles d'intelligence artificielle dans un contexte professionnel. Il facilite l'intégration de solutions basées sur le langage pour automatiser des processus métiers ou assister des utilisateurs dans des tâches complexes.