ScaSearch est une bibliothèque open source développée en Scala qui implémente des algorithmes avancés de résolution de problèmes inspirés de l'intelligence artificielle. Elle permet de modéliser et résoudre des défis complexes comme les puzzles, les jeux de stratégie ou les problèmes de satisfaction de contraintes. Basée sur des principes théoriques modernes, elle offre des outils pour automatiser la prise de décision et l'optimisation dans divers domaines techniques et scientifiques.

Outil d'aide à la résolution de problèmes de décision décentralisés dans des systèmes multi-agents, permettant de trouver un équilibre de Nash dans l'espace des contrôleurs finis et d'optimiser la stratégie de contrôle.

Polyh est un outil conçu pour résoudre des problèmes algorithmiques complexes à partir de grilles de données structurées. Il permet de modéliser des stratégies de résolution, d'optimiser des approches et de documenter les étapes de réflexion. Développé par une équipe d'étudiants, il facilite la collaboration et l'apprentissage autour de la résolution de problèmes informatiques.

Ce projet propose des outils pour modéliser et gérer des portefeuilles financiers complexes, notamment des prêts bancaires et des stratégies de financement. Il inclut des mécanismes de résolution d'emails pour les agences, des évaluations de risques et des systèmes de gestion de permissions. L'objectif est d'optimiser les processus de décision et de suivi des engagements financiers.

Ce projet propose des outils pour modéliser et gérer des portefeuilles financiers, notamment des prêts bancaires et des stratégies de financement. Il inclut des mécanismes de calcul de risques, de résolution d'emails pour les agences, et de gestion des prêts avec des stratégies adaptées. L'objectif est d'optimiser la gestion des engagements financiers et des risques associés.

Projet de simulation de jeux de stratégie où des algorithmes d'intelligence artificielle s'affrontent. Il permet de comparer différentes heuristiques comme les voisins ou Dijkstra pour évaluer leur efficacité dans la prise de décision. L'objectif est d'analyser et d'optimiser les performances des méthodes de résolution automatisée.

Ce projet propose une solution logicielle pour modéliser et gérer des prêts bancaires, des stratégies de crédit et des portefeuilles financiers. Il facilite la résolution d'emails pour les agences, le calcul des risques associés aux prêts et la validation des stratégies de crédit. L'outil permet également de gérer des identités d'agences et des informations intermédiaires pour optimiser les processus financiers.

Le projet qp-oases est un wrapper CMake pour une implémentation C++ open-source d'une stratégie récemment proposée d'ensemble actif en ligne, dédiée à la résolution de problèmes d'optimisation quadratique sous contraintes. Il permet de générer des correcteurs PID pour des systèmes dynamiques.