Personoj est un outil permettant de traduire des spécifications PVS en utilisant le langage de preuves formelles Lambdapi. Il est similaire dans sa finalité à Agda2Dedukti, HOLLightToDk ou CoqInE.

Spinosa est un espace de travail local dédié à la recherche documentaire. Il permet aux utilisateurs d'analyser des collections de documents (PDF, transcriptions, rapports, etc.) en posant des questions en langage naturel. Les agents IA recherchent dans les fichiers, rédigent des réponses et vérifient chaque affirmation en la confrontant aux sources originales. Le tout fonctionne hors ligne, avec une traçabilité complète des données et des résultats.

Ce dépôt contient une snapshot des node_modules et bower_components d'ezPAARSE, accélérant ainsi le processus d'installation.

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.

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.

Le projet jiaqi_0057 est une plateforme d'analyse de données et de génération de rapports automatisés. Il permet de collecter, traiter et visualiser des données provenant de différentes sources. Il dispose également d'un système de tests automatisés pour garantir la qualité des données et des rapports générés.

Outil d'analyse et de vérification de code source pour les projets JavaScript et TypeScript. Permet d'identifier les erreurs, les incohérences, les problèmes de style et les dépendances obsolètes. Fournit des rapports détaillés pour améliorer la qualité et la maintenabilité du code.