Ce projet vise à définir et promouvoir des formats de stockage de données standardisés pour faciliter l'interopérabilité entre différents systèmes informatiques. Il permet aux développeurs et entreprises de documenter, partager et utiliser des formats de fichiers communs, réduisant ainsi les incompatibilités et améliorant l'efficacité des échanges de données techniques.

Outil de traduction automatique permettant de convertir des fichiers au format Rec vers le format Dedukti. Ce projet facilite l'interopérabilité entre différents systèmes de preuve formelle, notamment pour la vérification de théorèmes en logique mathématique. Il s'adresse principalement aux chercheurs et développeurs travaillant dans le domaine de la démonstration automatique et de la logique formelle.

Sesame est un système dédié à la gestion et à l'intégration de données issues de recherches scientifiques ou expérimentales. Il permet de centraliser, transformer et analyser des informations issues de fichiers structurés comme des CSV, tout en facilitant leur ingestion dans des bases de données ou des systèmes d'analyse. Le projet facilite également la communication entre différents outils et services via des files d'attente, assurant une interopérabilité fluide entre les composants techniques.

Heimdall est un outil conçu pour faciliter la conversion et l'interopérabilité entre différents formats de données (bases SQL, API REST, fichiers CSV ou XML). Il permet aux utilisateurs de migrer leurs données sans perte ni corruption, d'unifier des bases dispersées en un corpus analysable, et de rendre ces données compatibles avec divers logiciels ou systèmes. Développé dans un cadre de recherche publique, il s'adresse aux institutions, chercheurs ou développeurs confrontés à des formats de données incompatibles.

Ce projet open source fournit une suite d'outils logiciels pour la modélisation, la conversion et l'expansion de fichiers décrivant des machines accélératrices de particules. Il permet aux ingénieurs et chercheurs en physique des accélérateurs de manipuler des fichiers techniques dans différents formats (AML, XSIF, MAD-8, MAD-X, SAD, Bmad) pour faciliter l'interopérabilité entre systèmes et optimiser les configurations expérimentales.

Outil permettant de convertir des fichiers au format Parquet, couramment utilisé pour le stockage de données volumineuses, en fichiers CSV plus accessibles et compatibles avec de nombreux logiciels d'analyse ou de tableurs. Il répond aux besoins d'interopérabilité entre systèmes et de simplification des flux de données pour les utilisateurs non techniques.