Le projet `datapass-api-particulier-bridge` est une application de bridge appelée par Data Pass lorsqu'une demande concernant API Particulier est validée. Il effectue l'authentification de l'appel Data Pass, crée une application Gravitee avec une nouvelle API Key, définit le `client_id` de l'application, crée la souscription de l'application Gravitee aux APIs Gravitee qui concernent API Particulier, crée un compte technique pour le contact technique renseigné dans la demande, met à jour le dictionnaire Gravitee des noms d'applications et des scopes des applications, et envoie un message sur le portail au contact technique pour lui donner la clé d'API.

Le projet snn-pcn est une implémentation de réseaux de neurones spiking (SNN) pour la classification d'images. Il se compose de deux parties : une couche d'extraction de caractéristiques (CSNN) entraînée avec un apprentissage non supervisé de type STDP et une couche de classification (Readout) entraînée avec un apprentissage supervisé de type STDP. Le projet se concentre sur la couche de classification et introduit une règle d'apprentissage supervisé STDP ainsi qu'une architecture d'entraînement appelée Neurones Compétitifs Appariés (PCN).

Ce projet définit des extensions de CTL et TCTL avec des opérateurs stratégiques, appelées Strategic CTL (SCTL) et Strategic TCTL (STCTL). Il fournit une sémantique synchrone et asynchrone pour chacune de ces logiques, interprétées sur des réseaux d'automates étendus qui effectuent des mouvements synchrones ou se synchronisent via des actions jointes. Le projet offre également un support pour la vérification de modèles à l'aide de l'outil IMITATOR.

Ce projet permet d'inclure des balises open graph (également appelées facebook) dans des pages de documentation. Il suffit d'ajouter le code généré par le projet à la page_frameset.html pour que les balises soient incluses dans les pages de documentation.

Ce projet fournit une collection d'applications Arnold officielles, également appelées plateaux, pour une utilisation dans un cluster OKD. Il permet de configurer, déployer et gérer des applications personnalisées pour les entreprises en utilisant des modèles de configuration et des outils de déploiement automatisés.

Le projet arc est un outil en ligne de commande permettant d'analyser des systèmes modélisés à l'aide du langage AltaRica. Il intègre des compilateurs pour d'autres langages et un model-checker basé sur une ancienne package appelée altatools.

Ce projet est un parseur de documents Datalog+ qui permet d'analyser ces derniers sans les charger en mémoire. Il est basé sur un modèle événementiel et appelle des méthodes spécifiques lors de la rencontre d'éléments tels que des faits, règles, requêtes et contraintes négatives et leurs sous-composants. Le parseur nécessite une fabrique de termes (variables, constantes et types de données) pour fonctionner.

Ce projet contient une étude expérimentale reposant sur la version open-source du solveur test_FEMBEM. Il utilise GNU Guix et la programmation littéraire pour assurer la reproductibilité de l'étude, appelée ici *Advanced setup*.

Ce projet est une interface utilisateur de statistiques pour l'API judilibre, construite avec SvelteKit. Il appelle l'API monitor qui interroge Elasticsearch pour obtenir les agrégations pertinentes.

Ce projet compare les variations structurelles dans les génomes de différents patients appelées par différents logiciels. Il s'agit d'un logiciel libre distribué sous les mêmes termes que le langage de programmation Perl.