Ce projet développe un outil d'analyse syntaxique avancé pour le français, permettant de transformer des phrases en Proof Nets, des structures logiques formelles utilisées en linguistique computationnelle. Il s'appuie sur des modèles de deep learning pour identifier et lier les composants syntaxiques d'une phrase, facilitant ainsi l'étude des relations entre les mots et leur rôle dans la structure de la phrase. L'objectif est de fournir une base solide pour des applications en traitement automatique du langage naturel et en linguistique théorique.

Menhir est un générateur d'analyseurs syntaxiques LR(1) dédié au langage OCaml. Il permet aux développeurs de créer automatiquement des parseurs pour leurs langages ou grammaires, facilitant ainsi l'écriture de compilateurs ou d'outils d'analyse syntaxique. Intégré à l'écosystème OCaml, il est largement utilisé dans la communauté pour des projets nécessitant une analyse syntaxique robuste et efficace.

Outil dédié à la génération automatique de parseurs et générateurs de code à partir de grammaires définies. Il simplifie la création d'analyses syntaxiques pour des langages spécifiques, réduisant ainsi le temps de développement des compilateurs et outils d'analyse. Idéal pour les développeurs et équipes travaillant sur des projets nécessitant une manipulation avancée de langages formels.

Emg est un outil de traitement automatique du langage naturel dédié à l'analyse syntaxique des phrases en français. Il génère des grammaires linguistiques à partir d'une métagrammaire et les compile pour produire des structures syntaxiques exploitables. Développé dans le cadre de la chaîne de traitement linguistique Alpage par l'INRIA, il permet de traiter des phrases avec ou sans lexique, en offrant des fonctionnalités comme l'analyse partielle ou la génération de forêts de dérivation.

PhoenixParser est une bibliothèque C++ conçue pour faciliter la création de parseurs syntaxiques. Elle permet aux développeurs de définir des règles de grammaire pour analyser des langages spécifiques, générer des arbres de syntaxe abstraite et valider des structures de données. Idéale pour les projets nécessitant une analyse syntaxique avancée ou une génération de code automatisée.

Frmg est un outil de traitement automatique du langage naturel dédié à l'analyse syntaxique des phrases en français. Il génère des grammaires formelles à partir d'une métagrammaire et les compile pour produire des structures linguistiques exploitables. Développé dans le cadre de la chaîne de traitement linguistique d'INRIA, il permet de valider des phrases, d'extraire des forêts de dérivation et de faciliter la recherche en linguistique computationnelle.

Menhir est un générateur d'analyseurs syntaxiques LR(1) dédié au langage OCaml. Il permet aux développeurs de créer facilement des parseurs pour leurs langages ou leurs compilateurs, en automatisant une partie complexe du processus. Utilisé principalement dans le domaine de la compilation et de l'analyse de code, il facilite l'écriture de grammaires et leur transformation en code exécutable.

MicMac est un projet dédié à la résolution d'équations différentielles et à l'analyse syntaxique de code. Il fournit des algorithmes sophistiqués pour résoudre des équations différentielles à l'aide de la méthode de Runge-Kutta d'ordre 4, ainsi qu'un analyseur syntaxique pour différents langages de programmation.

RunStaR est une méta-langue dédiée aux concepteurs de langages pour définir des représentations d'états d'exécution adaptées à leurs langages spécifiques (DSL). Elle permet de spécifier visuellement et dynamiquement les états des variables et concepts lors de l'exécution d'un programme, facilitant ainsi le débogage et l'analyse. Utilisée avec des outils comme Xtext ou KLighD, elle enrichit l'expérience de développement en intégrant des annotations directement dans la syntaxe concrète du DSL.

ACGtk est un outil de développement pour les grammaires catégorielles abstraites, fournissant des fonctionnalités de vérification syntaxique et de génération d'objets à partir de sources définies. Il est utilisé pour l'analyse syntaxique et sémantique de langages formels.