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.

Le projet SUD est une plateforme dédiée à la rédaction et à la conversion de contenus. Il permet de simplifier la création de contenu en proposant des fonctionnalités d'aide à la rédaction, telles que la vérification de la grammaire et de l'orthographe. En outre, il offre des outils de conversion de formats de fichiers, permettant de convertir facilement des documents entre différents formats.

Ce projet implémente l'algorithme de calcul des ordres d'appel pour Parcoursup, une plateforme d'admission dans l'enseignement supérieur en France. Il fournit une spécification formelle de l'algorithme et des preuves de sa correction en utilisant différents outils de vérification.

Ce projet contient des scripts Python permettant de détecter des documents scientifiques générés aléatoirement en utilisant des grammaires spécifiques. Il permet d'analyser des textes pour en vérifier la cohérence et de repérer les documents potentiellement problématiques.

Ce projet est un exemple d'Implementation Guide (IG) très simplifié pour le développement de nouveaux guides d'implémentation FHIR. Il sert de base et propose une démarche d'élaboration d'un nouvel IG. Les workflows associés à ce repository permettent d'exécuter Sushi pour vérifier la grammaire, de faire les tests avec le validator_cli et de publier les pages.

Ce projet consiste en un guide d'implémentation (IG) simplifié pour le développement de nouveaux guides d'implémentation FHIR. Il permet de récolter les issues sur le volet de notification d'événements et de fournir une base pour l'élaboration de nouveaux IG. Les workflows associés à ce repository permettent d'exécuter Sushi pour vérifier la grammaire, de faire les tests avec le validator_cli et de publier les pages.