Annuaire des initiatives

Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.

  • Ce projet analyse l'ouverture des projets open source hébergés sur GitHub en proposant trois métriques : l'étude de la composition de la communauté de développement, l'analyse des contributions externes acceptées et le temps nécessaire pour devenir contributeur. Ces métriques visent à évaluer la capacité d'un projet open source à attirer et à intégrer de nouveaux développeurs.
  • Rez-Mež est un outil dédié à l'analyse de la résistance des contre-modèles en logique propositionnelle. Il permet d'évaluer comment des familles d'opérateurs extensifs affectent la robustesse des interprétations initiales d'une formule. Le projet propose également des fonctionnalités pour convertir des formules en forme normale disjonctive (DNF) et pour mesurer des métriques spécifiques comme le delta H ou le nu O. Développé dans le cadre du projet BLaSST, il s'inscrit dans un contexte de recherche académique et industrielle en logique et vérification formelle.
  • Ce projet propose des outils d'analyse métrique pour des corpus textuels, notamment ceux de l'auteur Malherbe. Il génère automatiquement des relevés métriques sous forme de tables au format CSV et des visualisations graphiques. Développé par le CRISCO (EA 4255) de l'Université de Caen Normandie, il permet aux chercheurs et linguistes d'étudier la structure et l'évolution des textes.
  • Outil dédié à l'analyse et à l'amélioration du code source via des revues automatisées. Permet aux équipes de développement de collaborer efficacement pour identifier les erreurs, suggérer des optimisations et garantir la conformité aux bonnes pratiques. Facilite la maintenance et la robustesse des projets logiciels en fournissant des retours constructifs et des métriques de qualité.
  • Outil dédié à l'analyse et au suivi des dépôts Git pour évaluer la qualité, la productivité et les tendances des contributions au sein d'équipes de développement. Permet aux équipes techniques de mesurer l'activité, d'identifier les points forts et les axes d'amélioration, et de faciliter la collaboration grâce à des métriques claires et des rapports automatisés.
  • Plugin pour le logiciel d'analyse d'images biologiques Icy, développé par l'unité d'analyse d'images biologiques de l'Institut Pasteur. Ce plugin permet de mesurer et analyser les statistiques de mouvement d'objets dans des séquences d'images 2D ou 3D, comme les trajectoires de particules ou de cellules. Il fournit des métriques clés telles que le déplacement minimal, maximal, moyen et total, ainsi que des profils de déplacement le long des axes spatiaux.
  • Ce projet industriel vise à transformer des données LiDAR aériennes en métriques de carburant utilisables pour la gestion des risques d'incendie et l'analyse forestière. Il automatise le calcul de paramètres clés comme la densité de végétation ou la hauteur des arbres, permettant une cartographie précise à grande échelle. Les outils développés s'intègrent dans des workflows d'analyse environnementale pour les gestionnaires de forêts et les services de prévention des incendies.
  • Le package provoc a été développé pour prendre en charge les utilisateurs de PTR-ToF-MS dans leurs analyses. Il a été conçu pour une importation rapide des données dans R et la visualisation des premiers résultats en quelques minutes. Il détecte automatiquement les pics et fournit une matrice pour une analyse ultérieure. Il propose également quelques fonctions de chimie métrique.
  • Outil dédié à l'analyse et au calcul de métriques pour des projets logiciels. Il permet d'évaluer la qualité, la complexité et les performances du code source en générant des indicateurs précis. Utilisé par les équipes de développement pour identifier les points d'amélioration, optimiser la maintenabilité et garantir la conformité aux bonnes pratiques.
  • PowerAPI est une boîte à outils open source permettant de mesurer et d'estimer la consommation énergétique des logiciels en temps réel. Développé par le groupe de recherche Spirals (Université de Lille 1 et Inria), il s'agit d'un système modulaire qui assemble des capteurs logiciels pour fournir des métriques de puissance adaptées aux besoins des utilisateurs. Il permet d'analyser l'impact énergétique des processus informatiques et d'optimiser leur efficacité.

22 initiatives