Outil dédié à la traduction générique de théories dans le langage Dedukti, un système basé sur le λΠ-calcul modulo théorie. Il propose trois modèles de traduction : les morphismes de théorie, les relations logiques et les plongements de théorie. Ces fonctionnalités aident les utilisateurs à adapter des systèmes formels entre eux, facilitant ainsi la réutilisation et l'interopérabilité des preuves logiques.

Le projet mmnlg2023 est une plateforme de traitement automatique du langage naturel (TALN) permettant la génération de textes à partir de descriptions, la création de résumés de documents et la traduction automatique de textes. Il est basé sur des algorithmes de pointe en intelligence artificielle et permet aux utilisateurs de bénéficier de fonctionnalités avancées de traitement du langage.

Ce projet permet de convertir des fichiers de traduction .po en modules Elm, facilitant ainsi l'intégration de traductions dans des projets développés avec le langage Elm.

Le projet distrib est une plateforme de gestion de projets de traduction, d'analyse sémantique de documents et de reconnaissance d'entités nommées. Il offre des fonctionnalités avancées de traitement de langage naturel et de collaboration en temps réel.

Ce projet propose une traduction de la bibliothèque arithmétique de Matita vers le langage Agda. Il facilite l'échange et la vérification de preuves mathématiques entre différents systèmes formels. L'objectif est d'améliorer l'interopérabilité et la réutilisation des travaux en logique et en mathématiques formelles.

Outil de traduction automatique du langage Minibex, utilisé dans la bibliothèque Ibex, vers d'autres langages de modélisation comme AMPL ou GAMS. Il facilite la conversion de fichiers de contraintes mathématiques pour les solveurs d'optimisation, permettant une interopérabilité entre différents environnements de programmation mathématique.

Bibliothèques client pour le projet COMPRISE, permettant la reconnaissance vocale, la synthèse vocale, la traduction de textes et la compréhension du langage naturel.

Holide est un traducteur de fichiers de théories formelles de HOL vers Dedukti. Il permet de vérifier la validité des théories formelles dans le langage Dedukti.

Ce projet permet de traduire automatiquement du code source écrit dans un langage spécifique vers un autre langage cible. Il utilise des outils de compilation et de génération de code pour produire un exécutable fonctionnel à partir d'une entrée syntaxique. Idéal pour automatiser des tâches de migration ou de portage de code.

Agda2Dedukti est un traducteur permettant de convertir des preuves formelles écrites dans le langage Agda vers les langages Dedukti et Lambdapi, facilitant ainsi la vérification de ces preuves.