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.

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.

Le projet atsyra-dev vise à développer des plugins et un studio pour l'analyse de modèles formels, la transformation de langages spécifiques de domaines et la génération de code à partir de modèles. Il s'appuie sur des outils tels qu'Xtend, MapStruct, Testcontainers, OSGi, SLF4J, Entity Framework Core, Guava, OpenTracing, Simple Injector, Apache Ant et Markdown.

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.

Hazel est un projet de formalisation Coq visant à vérifier des bibliothèques d'analyse numérique, telles que l'analyse définie par la règle et la différentiation automatique. Il définit un langage de programmation formel avec des effets et développe une logique de programmes pour raisonner sur les programmes qui peuvent effectuer des effets.

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.

SYNTAX est un générateur de parseurs syntaxiques permettant d'analyser du code source et de générer du code à partir de grammaires formelles. Il facilite la création de langages de programmation dédiés et spécialisés.

Projet académique dédié à l'étude et à la manipulation des programmes écrits en Yacc, un générateur d'analyseurs syntaxiques. Il permet aux étudiants et chercheurs de comprendre, modifier et tester des grammaires formelles pour des langages de programmation ou des formats de données. Utilisé dans le cadre de cours ou de recherches en informatique théorique et génie logiciel.