TransLaTeX est un projet visant à traduire des fichiers sources LaTeX (.tex) d'une langue à une autre en utilisant des traducteurs automatiques. Il permet de simplifier le processus de traduction de documents techniques.

Ce projet propose une bibliothèque Rocq (anciennement Coq) qui traduit automatiquement la bibliothèque HOL-Light dédiée à la logique. Il permet d'utiliser des théorèmes et outils de HOL-Light dans l'écosystème Rocq, facilitant ainsi la vérification formelle et l'automatisation de preuves mathématiques. La traduction couvre des concepts comme la logique propositionnelle, la résolution, les modèles canoniques et les algorithmes de réécriture.

Ce projet académique vise à améliorer la qualité des lexiques bilingues utilisés pour entraîner et évaluer des modèles de traduction automatique. Il propose des méthodes de filtrage automatique pour corriger les erreurs et imprécisions présentes dans les lexiques initiaux, en exploitant des techniques comme la transitivité et la symétrie entre langues. Les résultats sont analysés quantitativement et qualitativement pour valider leur impact sur les performances des modèles.

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.

Outil de traduction automatique permettant de convertir des fichiers au format Rec vers le format Dedukti. Ce projet facilite l'interopérabilité entre différents systèmes de preuve formelle, notamment pour la vérification de théorèmes en logique mathématique. Il s'adresse principalement aux chercheurs et développeurs travaillant dans le domaine de la démonstration automatique et de la logique formelle.

Application web de traduction automatique entre le français et l'anglais, fonctionnant entièrement dans le navigateur sans envoi de données vers un serveur. Basée sur le modèle CroissantLLM, elle permet une traduction privée et locale, optimisée pour les appareils grand public avec accélération matérielle. L'interface est simple et intuitive, sans installation requise.

Eo2lp est un outil de traduction qui convertit les signatures et scripts de preuves du solveur cvc5 (Eunoia) vers le format LambdaPi, compatible avec l'écosystème Dedukti. Il permet de vérifier automatiquement des preuves générées par cvc5 dans un cadre formel dédié, assurant leur cohérence et leur réduction de type. Le projet cible un sous-ensemble spécifique de cvc5 et offre des fonctionnalités de benchmark pour évaluer la couverture et la fiabilité des traductions.

Le projet audio_separation est un outil de traitement audio permettant de séparer les voix de plusieurs intervenants dans une même source audio. Il vise à améliorer l'expérience utilisateur en isolant les voix dans les environnements bruyants et à faciliter l'analyse de conversations pour la transcription ou la traduction automatique.

Outil permettant de traduire automatiquement des fichiers JSON contenant des chaînes de caractères dans plusieurs langues. Il prend en charge différents services de traduction (Google, DeepL, Azure, Amazon, OpenAI) et préserve la structure des interpolations (ICU, i18next, sprintf) pour éviter les erreurs de formatage. Idéal pour les développeurs et équipes souhaitant internationaliser leurs applications sans effort manuel.

Bibliothèque conçue pour générer des cas de test de manière automatique en utilisant des règles de traduction. Elle est livrée avec des générateurs de cas de test intégrés et une interface conçue pour en créer de nouveaux avec un effort minimal.