Blink is a project that allows you to simulate web browsing environments by creating virtual machines with customized fonts, plugins, and browsers. The project provides a complete source code and instructions for building your own Blink virtual machine.

Ce projet vise à fournir une configuration de base pour une étude de recherche numérique en utilisant le solveur test_FEMBEM. Il s'appuie sur des gestionnaires de paquets natifs et des conteneurs pour gérer l'environnement logiciel, plutôt que sur GNU Guix et la programmation littéraire. L'objectif est de permettre la reproduction de l'étude et de ses expériences en fournissant une documentation et des instructions de construction détaillées.

Le projet docker-mathcomp fournit des images Docker de versions stables de la bibliothèque Mathematical Components pour l'assistant de preuve Coq. Ces images sont basées sur les images coqorg/coq, qui reposent sur Debian 11 Slim et opam 2.0. Le projet vise à faciliter l'utilisation de la bibliothèque Mathematical Components, à fournir un environnement Coq préconfiguré et à simplifier l'installation et la gestion des dépendances Coq.

Ce projet contient des exemples de recettes Kamelon pour construire des environnements Grid'5000 personnalisés. Il inclut une recette pour créer un environnement avec des stacks d'IA.

Le projet qr_mumps permet de gérer des codes QR pour le suivi et la gestion de médicaments dans un contexte de contrôle d'accès sécurisé. Il offre une interface conviviale pour créer, gérer et analyser les données associées aux codes QR.