G'MIC est un framework open-source pour le traitement et la visualisation d'images numériques. Il propose plusieurs interfaces utilisateur, dont un outil en ligne de commande, une bibliothèque C++, un plug-in pour GIMP, Krita, Photoshop et Paint.NET, et un service web. G'MIC offre plus de 1000 algorithmes et pipelines d'image processing.

Episciences est une plateforme de publication de revues scientifiques en libre accès. Elle offre des fonctionnalités de gestion de soumissions d'articles, d'évaluation par les pairs et d'archivage des articles publiés.

Zenon Modulo est un solveur de preuves automatisé pour la logique du premier ordre classique avec types polymorphes. Il accepte les fichiers d'entrée avec la syntaxe TPTP (FOF et TFF1) et Dedukti. Il peut produire des certificats de preuve pour Dedukti. Il est utilisé dans les projets FoCaLiZe et BWare.

Plateforme HAL est une archive ouverte destinée au dépôt et à la diffusion d'articles scientifiques de niveau recherche, publiés ou non, et de thèses, émanant des établissements d'enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Site officiel dédié à l'information juridique et aux actualités législatives en France. Il propose des articles explicatifs sur divers domaines du droit (familial, immobilier, affaires), des conseils pratiques pour les démarches administratives et juridiques, ainsi que des analyses sur les réformes législatives récentes. Destiné au grand public et aux professionnels du droit.

ESUP-SyGAL est une application web dédiée à la gestion et à l'accompagnement des doctorants et de leurs thèses. Il permet de suivre l'avancement des travaux, de gérer les validations et les évaluations, et de faciliter la communication entre les différents acteurs impliqués dans le processus de thèse.

This project contains the source files for the MARIUS model, a multi-agent model used for experiments described in a paper under review. The project includes documentation, a description of the model following the ODD protocol, and scripts for running simulations and generating graphics.

POPS est un ensemble d'ajouts à Redmine visant à transformer Redmine en une plateforme collaborative scientifique. Cela inclut un focus sur les documents et les pages de projets ainsi qu'une refonte complète du design.

Le projet emacs-ob-latexpicture est un dépôt de code source conçu pour améliorer l'expérience des utilisateurs d'Emacs lors de la rédaction de documents LaTeX en facilitant l'insertion d'images. Il vise à augmenter la productivité des utilisateurs en simplifiant le processus de génération d'images LaTeX.

Le projet gpu-data-checker est un plugin d'assistance à la vérification des données produites pour le GPU. Il offre deux traitements : la reprojection de la couche en coordonnées géographiques et le chaînage des vérifications des géométries de la couche correspondant à celles du validateur de GPU. Il produit une couche contenant les erreurs rencontrées.