Ce projet vise à démontrer la reproductibilité d'une recherche en informatique en utilisant le gestionnaire de paquets transactionnel GNU Guix et les principes de la programmation littéraire via Org mode et GNU Emacs. Il présente un exemple concret d'une recherche en cours de thèse PhD qui combine Guix pour assurer la reproductibilité de l'environnement logiciel et Org mode pour maintenir une description exhaustive, claire et accessible des expériences, du code source et des procédures impliquées dans la construction de l'environnement logiciel expérimental, l'exécution de benchmarks et la collecte et le post-traitement des résultats.

SARI et Pierre-Antoine (Bouttier) de l'UAR GRICAD proposent un atelier de prise en main de GUIX, un gestionnaire de paquets qui assure une reproductibilité des environnements logiciels. Il est de plus en plus utilisé dans les environnements HPC pour assurer de la reproductibilité.

Ce projet contient un exemple minimal d'une étude expérimentale utilisant l'application minisolver et le gestionnaire de paquets GNU Guix pour assurer la reproductibilité de l'étude. Il inclut des instructions pour reproduire l'environnement logiciel, exécuter des expériences en batch et générer des figures à l'aide du langage R et de la bibliothèque ggplot2.