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 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.

Chamois est un fork du compilateur C formellement vérifié CompCert, avec des ajouts de Verimag et Kalray. Il s'agit d'un compilateur pour un sous-ensemble important du langage C, générant du code pour les processeurs PowerPC, ARM, x86, RISC-V et KVX. La particularité de CompCert est qu'il a été prouvé correct à l'aide de l'assistant de preuve Coq : le code assembleur généré est garanti de se comporter comme prescrit par la sémantique du code C source.

Le site web de la langue Catala fournit des informations sur la langue et ses fonctionnalités, ainsi que des ressources pour le compilateur Catala. Il est généré à partir du code source du compilateur et offre une interface utilisateur pour interagir avec celui-ci.

Le projet LPP_compiler_explorer est une plateforme web dédiée à la compilation croisée et à l'expérimentation de code en ligne. Il permet aux développeurs de comparer différents compilateurs et de tester leur code dans un environnement sécurisé et pratique. Cet outil facilite l'apprentissage des langages de programmation et favorise le partage de connaissances entre les développeurs.

La bibliothèque FFLAS-FFPACK fournit un ensemble de sous-programmes de base pour l'algèbre linéaire sur un corps fini ou l'anneau des entiers avec des matrices denses et creuses. Elle s'inspire de l'interface BLAS (Basic Linear Algebra Subprograms) et de la bibliothèque LAPACK pour l'algèbre linéaire numérique, et partage certaines de leurs conceptions. Cependant, elle diffère à bien des égards en raison des spécificités du calcul sur des domaines exacts tels que les corps finis et le corps des rationnels : elle est générique par rapport au corps fini, de sorte que toutes les routines utilisent la genericité de modèle C++ et la bibliothèque est principalement destinée à être utilisée comme une bibliothèque de code source, à être incluse et compilée dans le logiciel de l'utilisateur.

Ce projet est un dépôt de code source pour le cours de compilation de l'ESISAR. Il contient des énoncés de travaux pratiques et des fichiers d'accompagnement pour les étudiants. Les TP couvrent des sujets tels que l'analyse de code source, la génération de code intermédiaire et la génération de code machine.

Ce projet est une formation sur le pipeline CI/CD de Gitlab, centrée sur une application C++ simple. Il inclut des scripts pour générer des fichiers de build, compiler le code, exécuter des tests unitaires et générer des rapports de couverture de code.

Clang est un frontal de compilateur pour la famille de langages C (C, C++, Objective-C, Objective-C++), qui fait partie du projet LLVM. Contrairement à de nombreux autres frontaux de compilateur, Clang est utile pour plus d'une chose que la simple compilation de code : nous prévoyons que Clang serve d'hôte à un certain nombre d'outils basés sur le niveau source. Un exemple en est l'Analyseur statique Clang.

Bienvenue à Clang, un compilateur front-end pour les langages de la famille C, y compris C, C++, Objective-C, et Objective-C++. Construit dans le cadre du projet LLVM compiler infrastructure, Clang est plus qu'un simple compilateur de code. Il est conçu pour être l'hôte d'un certain nombre d'outils à niveau source, tels que l'Analyseur Static Clang.