Le dépôt ocaml-pr-repository contient des descriptions de compilateur OCaml au format opam1, générées automatiquement à partir de la liste des pull requests actives dans le dépôt GitHub du compilateur OCaml. Il permet de tester rapidement et facilement des correctifs proposés et de les intégrer dans un environnement de développement de paquets.

AstraLint est un outil spécialisé dans la vérification et la correction des métadonnées des fichiers de données spatiales (CDF et FITS). Il permet aux scientifiques et aux archivistes de s'assurer que leurs fichiers respectent les normes communautaires (ISTP, PDS4, SOLARNET) avant leur publication ou leur ingestion dans des bases de données comme CDAWeb. L'outil identifie les erreurs, propose des corrections automatiques et génère des rapports détaillés pour les ajustements manuels nécessaires.

Service public dédié à la validation et à la correction des fichiers d'adresses des communes françaises. Il permet aux collectivités locales de vérifier la conformité de leurs bases de données d'adresses (BAL) et d'obtenir des rapports détaillés sur les erreurs détectées. Le système propose également des corrections automatiques pour les données non conformes.

Ce projet développe des modèles de réseaux de neurones dédiés à la correction de phase dans des systèmes optiques complexes, notamment pour des réseaux de lasers. Il permet de simuler des mesures, d'entraîner des algorithmes d'apprentissage automatique pour optimiser la qualité des faisceaux lumineux, et de générer des données synthétiques pour des applications en photonique. Les outils proposés facilitent la recherche et l'expérimentation dans le domaine de l'optique adaptative.

Ce projet permet de créer et gérer du contenu sur internet en facilitant la recherche et l'affichage de citations associées à des auteurs. Il propose des fonctionnalités de correction automatique des requêtes pour améliorer la pertinence des résultats et permet d'explorer des données structurées par mots-clés ou dates.

Pyxel-Art est une plateforme éducative dédiée à l'apprentissage de la programmation Python à travers des exercices de pixel-art. Elle propose une banque d'exercices corrigés pour les élèves, permettant de travailler les variables, les boucles et les structures algorithmiques. Les enseignants peuvent créer leurs propres exercices et générer automatiquement des corrections détaillées ou simplifiées. Idéal pour des activités en classe sans ordinateur ou pour des évaluations interactives.

Ce projet propose une base d'exercices pratiques et théoriques pour l'enseignement de la NSI (Numérique et Sciences Informatiques). Il inclut des épreuves pratiques, des sujets écrits et des travaux pratiques générés automatiquement. Les enseignants et élèves peuvent y accéder pour s'entraîner ou préparer des examens. Les exercices sont organisés par thèmes et accompagnés de corrections.

Outil web dédié aux documentalistes du Centre de ressources documentaires de l'Insee. Il compare automatiquement les notices bibliographiques du SIGB Syracuse avec le catalogue Sudoc de l'ABES, identifie les écarts (erreurs de saisie, champs manquants, PPN incorrects) et propose des corrections. Pour les notices sans identifiant Sudoc, il recherche des candidats via une requête SRU. L'outil génère ensuite des exports corrigés (XML Syracuse, CSV de rapport ou texte UNIMARC) pour réimport ou catalogage professionnel, tout en laissant la validation finale à l'utilisateur.

Ce projet rassemble des analyses symboliques du protocole WireGuard à l'aide d'assistants de preuve comme Tamarin, ProVerif et Sapic+. Il vérifie des propriétés de sécurité telles que l'accord, le secret et l'anonymat, et propose des correctifs pour améliorer ces propriétés. Les résultats sont obtenus via des modèles formels et des évaluations automatisées.

PSpelling est un outil de correction orthographique et de vérification de textes en français. Il permet d'identifier les fautes d'orthographe, de proposer des corrections adaptées et d'analyser des documents pour garantir leur exactitude. Idéal pour les rédacteurs, les étudiants ou les professionnels, il facilite la relecture et améliore la qualité des écrits en automatisant une partie du processus de correction.