Awesome open science for software and computational science est une liste de ressources sur l'open science et les logiciels associés. Elle couvre les logiciels utilisés comme outils expérimentaux, les logiciels étudiés en tant qu'objets de recherche et le soutien aux pratiques open science. Elle contient des références, des événements, des évaluations d'artefacts, des papiers et des outils liés à l'open science et aux logiciels.

Ce projet héberge les propositions d'amélioration pour Coq (CEP), qui sont l'équivalent des RFC, PEP et autres pour d'autres langages de programmation. Les CEP décrivent des changements potentiels dans Coq, y compris des modifications de l'API, des fonctionnalités ou des processus de développement.

Ce bot, écrit en OCaml, est principalement utilisé dans le développement du projet Coq. Il permet la synchronisation entre GitHub et GitLab, la gestion des pull requests depuis des forks, la gestion des milestones des issues et la gestion du processus de backporting.

Le projet compose-publish vise à automatiser la publication et la centralisation des versions de composants logiciels, facilitant ainsi leur réutilisation au sein de différents projets. Il offre une plateforme unique pour gérer et partager ces composants, optimisant ainsi les workflows de développement et favorisant l'agilité des équipes.

The elementaryx-cicd project automates software delivery pipelines, streamlining the development and deployment processes. It enforces code quality and consistency, reducing human errors and manual intervention. By automating these processes, the project helps improve overall efficiency and productivity.

Projet open-source visant à minimaliser l'environnement de développement Emacs pour les utilisateurs d'Elementary OS, offrant une expérience épurée et efficace pour l'édition de texte et la personnalisation.

This project analyzes the energy consumption of software polar decoders on low power processors, providing insights to optimize energy efficiency and monitor performance. It helps in making informed decisions for better energy management and improving the overall system's performance.

Ce projet est dédié à la configuration de la bibliothèque numérique IFIP sur le dépôt de publication HAL. Il contient des scripts pour gérer la récupération des volumes IFIP et automatiser l'envoi de fichiers XML modifiés à HAL.

Le projet MetaMOF vise à créer une métagrammaire pour le moyen et l'ancien français, offrant ainsi une ressource précieuse pour l'analyse linguistique et l'étude des langues romanes. Il s'appuie sur des méthodes informatiques avancées pour fournir une représentation structurée et normalisée des formes linguistiques.

This project is a Continuous Integration system that automates the software build process, runs automated tests, and monitors code quality. It helps to ensure that the software is always in a releasable state and identifies issues early in the development cycle.