Lambdapi est un assistant de preuve basé sur le λΠ-calcul modulo réécriture, offrant des interfaces utilisateur pour Emacs et VSCode. Il permet de certifier des preuves pour différents systèmes de preuve, tels que TLAPS, Atelier B, Rodin, LISA, et Why3.

OpenMOLE est une plateforme open-source développée depuis 2008 pour l'étude et l'optimisation de modèles numériques. Elle offre des outils pour exécuter, explorer, diagnostiquer et optimiser des modèles, en tirant parti d'environnements d'exécution distribués. Avec OpenMOLE, vous pouvez explorer des modèles déjà développés dans divers langages (Java, exécutables binaires, NetLogo, R, SciLab, Python, C++, etc.).

EzPAARSE est un logiciel open-source permettant d'ingérer des fichiers journaux de proxy et d'afficher comment les utilisateurs accèdent aux ressources électroniques auxquelles ils sont abonnés. Il filtre, extrait et enrichit les événements de consultation détectés et produit un fichier CSV conforme aux codes de pratique COUNTER.

Manylines est une application permettant d'explorer des réseaux sociaux et de publier des narrations interactives. Elle s'appuie sur une base de données Couchbase pour stocker les graphes et les narrations.

Esup-signature est un module de signature type micro-service permettant à un établissement d’intégrer la signature numérique dans ses services institutionnels. Il s’appuie sur la solution DSS de la Commission Européenne et peut s’adapter aux différents établissements de l’ESR grâce à l’utilisation de shibboleth, LDAP et TCS de Renater.

Un plugin Obsidian qui intègre les données IVRE, une plateforme d'analyse de données de réseau pour la cybersécurité, dans les notes Obsidian. Il permet une organisation et une visualisation améliorées des données réseau pour les tests de pénétration, la réponse aux incidents, la cybermenace intelligence, et d'autres utilisations liées à la cybersécurité.

Jitsi Box est un projet open source qui permet de créer des salles de visioconférence pour des classes hybrides. Il permet de connecter une salle de classe physique à une salle de visioconférence en ligne, offrant ainsi une expérience d'apprentissage interactive pour les étudiants en ligne et en classe. Le projet est basé sur une application React, un contrôleur Raspberry Pi et un écran tactile.

Cunningham est un système de conception et une bibliothèque de composants React conçus pour être modulaires, réutilisables et axés sur l'accessibilité. Il suit les principes de design atomique et utilise des jetons de design pour assurer la cohérence entre le design et le code, permettant une personnalisation élevée.

Système de gestion d'authentification et de salles de réunion pour Jitsi basé sur Django et React. Il permet de créer et configurer des salles de réunion Jitsi, ainsi que de gérer les utilisateurs et leurs accès aux salles.

Aime-core est un projet qui vise à fournir une plateforme d'analyse de données et de gestion de contenu avec une capacité de recherche sémantique avancée. Il est basé sur une architecture modulaire et utilise une base de données Neo4j pour stocker les données.