L'Application Domain Extension (ADE) Energy définit un modèle de données standardisé basé sur le format CityGML pour les analyses énergétiques urbaines. Il a pour objectif d'être un format d'échange de référence entre différents outils de modélisation urbaine et bases de données d'experts.

Plateforme de développement dédiée à la langue de programmation OCaml, offrant un environnement de développement intégré et facilitant la compilation de code. Elle vise à promouvoir l'utilisation de cette langue fonctionnelle reconnue pour sa fiabilité et sa performance.

Holide est un traducteur de fichiers de théories formelles de HOL vers Dedukti. Il permet de vérifier la validité des théories formelles dans le langage Dedukti.

Ensemble d'outils permettant de configurer et de faire fonctionner un poste GNU/Linux dans l'environnement INIST, en gérant des dépendances, automatisant des tâches système et configurant des proxys pour différentes applications.

Popplonode est un module Node.js qui permet d'extraire les métadonnées et le texte à partir d'un fichier PDF en utilisant du code C++ pur, offrant ainsi des performances supérieures à PDFJS et à une exécution de pdfinfo.

PFactory est une bibliothèque parallèle conçue pour faciliter l'implémentation de solveurs parallèles en C++. Elle fournit des implémentations robustes d'algorithmes parallèles et permet un partage facile d'informations, ainsi que des méthodes de type divide-and-conquer ou portfolio. pFactory n'est pas liée à un problème spécifique et peut être facilement intégrée pour résoudre tout type de problème combinatoire (SAT, CSP, MAXSAT...).

Le projet esfc est une application web dédiée à la gestion et l'analyse de données piscicoles. Il permet de saisir, stocker et analyser des informations sur les poissons, leurs caractéristiques, leur croissance et les campagnes de pêche. Il offre des fonctionnalités de visualisation de données, de calcul de statistiques et de génération de rapports.

Ce projet permet la gestion de versions de logiciels, le suivi des modifications apportées par les membres de l'équipe, la collaboration en temps réel, et l'intégration continue pour un développement efficace et sans heurts.

Codes is a project that automates code review, facilitates collaboration between developers, tracks changes in the codebase, and improves code quality. It is designed to help developers write better code more efficiently.

Collec-science est un logiciel de gestion de collections d'échantillons prélevés sur le terrain. Il permet de gérer les entrées/sorties de stock, de générer des étiquettes avec ou sans QR codes, de gérer des événements pour les objets, de réserver des objets, de lire des QR codes par scanner ou en mode batch, et d'ajouter des photos ou pièces jointes à des objets.