Dx est un outil permettant de dériver automatiquement du code C à partir de code Gallina monadique, proche du code C final. Il facilite la conversion de définitions formelles en code exécutable en générant une représentation intermédiaire puis un module C compilable. Principalement utilisé dans le domaine de la vérification formelle et des compilateurs, il s'intègre avec des outils comme CompCert pour produire du code C optimisé et vérifié.

Outil d'analyse et de vérification formelle de programmes pour détecter des erreurs logiques, optimiser des blocs de code et valider des propriétés de sécurité. Utilisé principalement dans la recherche académique et l'ingénierie logicielle pour améliorer la fiabilité des systèmes critiques.

Ce projet fournit des ressources pédagogiques pour les étudiants de l'ENSEEIHT en Sciences du Numérique. Il couvre deux matières principales : l'optimisation sans contraintes et les méthodes des différences finies pour les équations aux dérivées partielles (EDP). Les étudiants y trouvent des polycopiés, des travaux dirigés, des sujets de TP et des fichiers sources pour approfondir leurs connaissances.

Projet dédié à l'optimisation de calculs mathématiques avancés, notamment pour des applications en physique et en traitement de données. Il propose des outils pour évaluer et simplifier des expressions algébriques, des produits matriciels et des calculs de barycentres, facilitant ainsi l'analyse et la modélisation dans des contextes scientifiques ou industriels.

Le projet optimisation vise à améliorer l'efficacité et la productivité des processus métiers grâce à l'automatisation et au suivi en temps réel. Il permet de simplifier les tâches répétitives, de détecter rapidement les goulets d'étranglement et de prendre des mesures correctives.

Le projet Optimisation vise à améliorer l'efficacité et la productivité des processus métiers grâce à l'automatisation et la gestion de workflows. Il permet de simplifier et d'accélérer les tâches répétitives, offrant ainsi un gain de temps et une meilleure qualité de travail.