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 propose des bindings Python pour une bibliothèque Rust dédiée à la manipulation et à l'optimisation de formules logiques en déduction propositionnelle. Il permet aux chercheurs et développeurs d'accélérer les calculs de modèles et d'améliorer l'efficacité des outils d'analyse logique dans divers domaines comme l'intelligence artificielle ou la vérification formelle.

Projet académique visant à développer un noyau de calcul en Java pour manipuler des formules mathématiques, des tableaux de données et des opérations binaires. Permet de créer, éditer et analyser des calculs structurés avec des dépendances entre cellules.

Outil open source dédié à la manipulation et à l'analyse de documents structurés comme les feuilles de calcul. Il permet d'extraire, modifier et convertir des données, d'analyser des formules complexes, de générer des métadonnées et de publier des contenus dans différents formats. Idéal pour automatiser des traitements de données ou intégrer des fonctionnalités avancées dans des applications tierces.

Bibliothèque logicielle dédiée à la manipulation, l'analyse et la simplification d'expressions mathématiques. Elle permet de parser, évaluer et transformer des formules algébriques complexes en fournissant des outils pour le calcul symbolique et numérique. Utilisée dans des contextes scientifiques ou techniques nécessitant une gestion avancée des équations.

Simplestac est un ensemble d'outils permettant de simplifier l'utilisation de STAC (SpatioTemporal Asset Catalog) en travaillant avec des données raster locales. Il permet de créer des collections d'items STAC, de manipuler des données STAC avec des méthodes supplémentaires et d'appliquer des formules à des cubes de données raster.

Cette bibliothèque de composants web permet d'intégrer facilement des fonctionnalités d'affichage et de manipulation de données chimiques dans des applications web. Elle facilite la visualisation de formules chimiques, l'identification de composés et la conversion entre différents formats chimiques standards.

RVDist est un prototype d'outil écrit en C++ pour la vérification en temps réel de systèmes distribués (composants basés) à l'aide de la logique temporelle. Il utilise la plateforme Spot pour la manipulation des formules LTL et la bibliothèque BigInt pour les calculs sur de grands entiers.

Qontrol est une bibliothèque permettant de simplifier l'expression de problèmes de contrôle de robots manipulateurs en utilisant une formulation d'optimisation quadratique. Cette bibliothèque est modulaire pour faciliter l'utilisation d'autres solveurs qp et d'autres bibliothèques de modèles.

Projet pédagogique visant à enseigner les fondamentaux du développement web front-end. Il permet aux apprenants de maîtriser la manipulation de la page HTML via l'API DOM, la détection des actions utilisateur via les événements, et la gestion interactive de formulaires. Destiné aux étudiants ou débutants en programmation web.