LLVM est une infrastructure open source dédiée à la construction d'outils pour les compilateurs, optimiseurs et environnements d'exécution. Elle permet de transformer du code source en code machine optimisé, facilitant ainsi le développement de logiciels performants et sécurisés. Utilisée par des développeurs et entreprises du monde entier, LLVM améliore la productivité et la qualité des compilations.

Ce projet est une participation étudiante à la compétition Google Hash Code 2019. Il consiste à résoudre un problème d'optimisation lié à la compilation distribuée de fichiers dans un codebase massif. L'objectif était de minimiser le temps de compilation en utilisant efficacement plusieurs serveurs dédiés à cette tâche.

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.

Outil en ligne de commande dédié à l'analyse et à la transformation de code Fortran. Il permet de suivre les arguments des routines depuis leur définition jusqu'à leurs sites d'appel, facilitant ainsi l'optimisation et la maintenance du code. Ce projet sert également de banc d'essai pour un compilateur source-à-source basé sur Loki, ciblant des architectures hétérogènes.

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.

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

Tuareg est un mode majeur pour l'éditeur Emacs, conçu pour faciliter l'édition, la coloration syntaxique et l'exécution de code OCaml. Il permet de lancer un REPL (toplevel) et un débogueur directement depuis l'éditeur, tout en offrant des fonctionnalités avancées comme l'indentation automatique et la gestion des erreurs de compilation. Ce projet vise à optimiser le flux de travail des développeurs travaillant avec le langage OCaml.

LLVM est un outil permettant de construire des compilateurs, des optimiseurs et des environnements d'exécution hautement optimisés. Il prend en charge la création de code intermédiaire, la gestion de types de données complexes et la localisation de débogage pour les unités de compilation.

Projet open source fournissant un ensemble d'outils modulaires pour la compilation, l'optimisation et l'analyse de programmes. LLVM permet de transformer du code source en code machine optimisé, d'analyser les performances des programmes et de générer des passes personnalisées pour étendre les fonctionnalités des compilateurs. Il est largement utilisé dans l'industrie et la recherche pour développer des compilateurs modernes et des outils d'analyse statique.

SVF est un framework open source dédié à l'analyse statique de pointeurs pour les programmes compilés avec LLVM. Il permet de détecter des erreurs mémoire, d'optimiser le code et de vérifier la cohérence des accès mémoire. Utilisé principalement dans le domaine de la compilation et de la sécurité logicielle, il offre des outils pour analyser les flux de données et les dépendances entre pointeurs dans un programme.