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.

Ce projet open source permet de créer un pont entre le langage Python et des bibliothèques Fortran compilées. Il facilite l'appel de routines Fortran depuis des scripts Python en générant automatiquement les signatures nécessaires. Idéal pour les scientifiques ou ingénieurs souhaitant exploiter des calculs Fortran performants dans des environnements Python modernes, sans réécrire leur code existant.

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.

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.

CompCert est un compilateur pour un large sous-ensemble du langage C qui génère du code pour plusieurs architectures de processeurs. Il est unique car il a été formellement vérifié à l'aide de l'assistant de preuve Coq, garantissant ainsi le comportement du code assembleur généré par rapport aux semantiques du code source C.

Projet universitaire visant à enseigner les concepts des langages de programmation et des traducteurs. Les étudiants conçoivent un compilateur ou un interpréteur pour un langage simplifié, en appliquant des principes théoriques comme l'analyse lexicale, syntaxique et sémantique. Ce travail pratique permet de comprendre les mécanismes de transformation du code source en code exécutable.

PhoenixDataGenerator est un outil open source conçu pour automatiser la génération de structures de données et de code source dans plusieurs langages (C, C++, Fortran). Il permet aux développeurs de créer rapidement des bibliothèques logicielles optimisées, en réduisant les erreurs manuelles et en standardisant les pratiques de développement. Idéal pour les projets nécessitant une gestion rigoureuse des données et une intégration facile dans des environnements de compilation existants.

Ce projet est un compilateur qui prend en entrée des fichiers écrits dans un langage spécifique et génère du code source dans un autre langage. Il effectue l'analyse syntaxique et sémantique du code source, ainsi que des optimisations pour améliorer les performances du code généré.

BSML-Web est un framework dédié au développement d'applications web en langage OCaml. Il permet de compiler du code source vers JavaScript pour une exécution côté client, facilitant ainsi la création d'interfaces dynamiques et réactives. Le projet intègre des outils de gestion de dépendances et de compilation pour optimiser le développement d'applications modernes.

Clang est un frontal de compilateur pour les langages de la famille C (C, C++, Objective-C, et Objective-C++) qui fait partie du projet LLVM. Clang est conçu pour être utilisé comme hôte pour une variété d'outils à niveau source, tels que l'analyseur statique de code Clang. Il fournit une API pour les outils de développement logiciel.