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.

Ce projet consiste à implémenter un diagramme de classes UML en code Kotlin en utilisant l'outil Ant pour la compilation et l'exécution des tests. Il est important de respecter scrupuleusement les noms des classes, méthodes et paramètres pour que les tests puissent s'exécuter correctement.

Un compilateur dédié à la transformation de programmes écrits en langage MinCaml vers du code assembleur ARM. Il permet de vérifier la cohérence des types, d'optimiser les performances et de générer un code exécutable pour des architectures matérielles cibles. Utilisé principalement dans un contexte académique ou de recherche pour l'enseignement des concepts de compilation.

Ce projet a pour but de démontrer une chaîne d'intégration, de la compilation à la livraison d'un artefact sur un dépôt d'archives. Il utilise des technologies standard et répandues telles que Maven, Springboot et Junit. La stratégie de développement, d'intégration et de déploiement choisie sur ce projet vise à contrôler la compilation du code quotidiennement, la qualimétrie régulièrement et à générer des livrables dès qu'on a un ensemble fonctionnel cohérent.

Ce projet fournit un modèle générique pour configurer des pipelines d'intégration continue (CI) et de livraison continue (CD) sur GitLab. Il permet d'automatiser la compilation, les tests, la génération de documentation, l'analyse de code, la création de paquets logiciels (comme les paquets Debian) et la publication de rapports. Destiné aux projets basés sur Autotools, il facilite la standardisation des processus de build et de déploiement pour les équipes de développement.

Suite d'outils dédiés à l'analyse et à la mesure des performances du code C++ généré par le compilateur Faust. Ces utilitaires permettent d'évaluer l'impact de nouvelles stratégies de compilation, de valider la correction des implémentations et d'optimiser les performances des programmes audio générés. Ils s'adressent principalement aux développeurs travaillant sur le compilateur Faust ou sur des backends spécifiques.

Ce projet propose une collection de macros pour Autoconf destinées à simplifier et standardiser la configuration de projets C/C++. Il permet d'automatiser la détection de bibliothèques externes, de générer des métadonnées pour les paquets logiciels, et d'offrir des options de compilation avancées comme le mode debug ou la couverture de code. Les macros réduisent la duplication de code et améliorent la portabilité des projets.

Le projet Capla Compiler est une version modifiée du compilateur CompCert, un compilateur C formellement vérifié. Il permet de transformer du code source C en code assembleur pour différentes architectures matérielles (ARM, PowerPC, RISC-V, x86) tout en garantissant la conformité du code généré par rapport au code source. Ce projet est utilisé dans des contextes où la fiabilité et la sécurité des programmes compilés sont critiques, notamment dans les domaines de la recherche, de l'éducation et de l'industrie.

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.

Dx est un outil permettant de dériver automatiquement du code C à partir de code Gallina monadique, proche du code C final. Il facilite la conversion de définitions formelles en code exécutable en générant une représentation intermédiaire puis un module C compilable. Principalement utilisé dans le domaine de la vérification formelle et des compilateurs, il s'intègre avec des outils comme CompCert pour produire du code C optimisé et vérifié.