Le projet gazelle-plugins est une collection de plugins Maven dédiés à la gestion des dépendances de projets, à la génération de code source à partir de spécifications et à l'intégration avec des outils d'API et de web services tels que SoapUI, HAPI et Swagger Codegen.

Le projet cv2fstar-material est un dépôt de code source contenant une extension pour l'outil CryptoVerif, qui permet de vérifier la correction et la sécurité des protocoles cryptographiques. Cette extension, développée dans le cadre d'une thèse de doctorat, permet de générer automatiquement du code sécurisé à partir de spécifications formelles, améliorant ainsi l'efficacité et la fiabilité du processus de développement de protocoles cryptographiques.

Spinfer est un outil d'analyse de code source permettant la génération de correctifs sémantiques à partir de paires de fichiers source avant et après modification. Il utilise Coccinelle comme sous-module et requiert des dépendances spécifiques telles que des paquets OCaml et Python.

Le projet pscgen vise à automatiser la génération de spécifications techniques pour les systèmes d'information. Il permet de standardiser les documents techniques en utilisant des modèles prédéfinis et en extrayant les informations nécessaires à partir du dépôt de code source.

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.

Eclipse MDE est un projet visant à fournir des outils pour la modélisation et la génération de code, en particulier pour les systèmes embarqués. Il permet d'automatiser le processus de développement logiciel en créant des langages spécifiques à un domaine (DSL) et en générant automatiquement le code source correspondant.