Lambdapi est un assistant de preuve basé sur le λΠ-calcul modulo réécriture, offrant des interfaces utilisateur pour Emacs et VSCode. Il permet de certifier des preuves pour différents systèmes de preuve, tels que TLAPS, Atelier B, Rodin, LISA, et Why3.

Fonio est une plateforme de rédaction collaborative dédiée à la création de sites web statiques. Elle permet de structurer les arguments sous forme de sites web, de gérer des références bibliographiques et d'autres ressources (images, tables, vidéos, éléments interactifs), de personnaliser la mise en page et l'identité visuelle, et de définir des termes clés dans un glossaire interactif.

Package de composants React pour le Système de Design de l'État français, offrant des fonctionnalités de création de sites web administratifs, de conception d'interfaces utilisateur pour les services publics, de développement d'applications web accessibles et d'intégration de composants d'interface utilisateur réutilisables.

Dicopal est une bibliothèque JavaScript offrant des palettes de couleurs discrètes, incluant des centaines de palettes prédéfinies provenant de diverses sources telles que Colorbrewer2, Fabio Crameri's Scientific Colour Maps, CARTOColors, cmocean, Light & Bartlein, Matplotlib, MyCarta, Tableau, The Wes Anderson Palettes blog, Joshua Stevens' palettes et la palette Color Universal Design (CUD) categorical.

Jitsi Box est un projet open source qui permet de créer des salles de visioconférence pour des classes hybrides. Il permet de connecter une salle de classe physique à une salle de visioconférence en ligne, offrant ainsi une expérience d'apprentissage interactive pour les étudiants en ligne et en classe. Le projet est basé sur une application React, un contrôleur Raspberry Pi et un écran tactile.

Système de gestion d'authentification et de salles de réunion pour Jitsi basé sur Django et React. Il permet de créer et configurer des salles de réunion Jitsi, ainsi que de gérer les utilisateurs et leurs accès aux salles.

Paysage API est une plateforme de gestion de données géographiques, de structures et de personnes, ainsi que de prix et de lauréats. Il permet de stocker, gérer et interroger ces données via une API.

Le Geovistory Design System est une collection de composants d'interface utilisateur réutilisables, conçus pour être utilisés dans les applications de recherche de Geovistory. Il vise à standardiser l'apparence des interfaces utilisateur et à faciliter le développement d'applications web.

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

Système de gestion d'archives de contenu sécurisé et basé sur des fichiers plats, permettant l'exportation de données vers des fichiers CSV et la sécurisation des accès grâce au hachage de mots de passe, ainsi que la gestion de listes d'instances.