BuDDy est une bibliothèque C++ de deuxième génération dédiée aux Diagrammes de Décision Binaire (BDD). Développée initialement par Jorn Lind-Nielsen, elle permet de simplifier et d'optimiser des circuits logiques, d'analyser et de vérifier des systèmes numériques, ainsi que de réduire la complexité algorithmique.

Hazel est un projet de formalisation Coq visant à vérifier des bibliothèques d'analyse numérique, telles que l'analyse définie par la règle et la différentiation automatique. Il définit un langage de programmation formel avec des effets et développe une logique de programmes pour raisonner sur les programmes qui peuvent effectuer des effets.

Ce projet propose une collection de modules et de fonctionnalités destinées à enrichir la bibliothèque standard de Rocq, un assistant de preuve formelle. Il vise à faciliter le développement de preuves mathématiques et logiques en fournissant des outils réutilisables et des abstractions supplémentaires.

Bitvector est une bibliothèque dédiée à la gestion efficace de vecteurs de bits dans l'environnement Rocq. Elle permet d'optimiser les opérations sur des structures de données binaires tout en s'appuyant sur des tableaux primitifs et des entiers natifs. Principalement utilisée pour des développements formels en logique et en mathématiques, elle facilite la vérification de preuves et l'implémentation d'algorithmes fiables.

Ce projet propose des bindings Python pour une bibliothèque Rust dédiée à la manipulation et à l'optimisation de formules logiques en déduction propositionnelle. Il permet aux chercheurs et développeurs d'accélérer les calculs de modèles et d'améliorer l'efficacité des outils d'analyse logique dans divers domaines comme l'intelligence artificielle ou la vérification formelle.

Cool est une bibliothèque logicielle conçue pour créer une couche d'abstraction au-dessus de systèmes de contrôle sous-jacents comme Spec, Tango ou Taco. Elle facilite l'intégration et la gestion de ces protocoles dans des applications logicielles, permettant aux développeurs de se concentrer sur la logique métier sans se soucier des détails techniques des protocoles sous-jacents.

Portail public des bibliothèques de la ville de Loos, offrant un accès aux ressources documentaires, aux horaires, aux événements culturels et aux services d'inscription. Le site facilite la découverte des nouveautés littéraires et propose des outils pour les usagers, comme la recherche détaillée ou les sélections thématiques.

Ce projet gère un réseau de bibliothèques publiques proposant un accès à des collections variées (livres, documents, supports multimédias) pour tous les publics. Il facilite la recherche, le prêt et la consultation de ressources documentaires, tout en offrant des services en ligne comme la gestion de comptes utilisateurs, la réservation de documents et l'accès à des espaces numériques dédiés. Le site sert également de vitrine pour les activités culturelles organisées par les bibliothèques du réseau.

Portail public dédié au réseau des bibliothèques et médiathèques de Sevran. Il permet aux habitants de consulter les catalogues, réserver ou emprunter des livres, films, jeux et ressources numériques. Le site propose également un agenda culturel complet, des sélections thématiques, des podcasts et des services adaptés aux besoins spécifiques comme l'accessibilité pour les personnes en situation de handicap.

Manifest UI est une bibliothèque open source de composants d'interface utilisateur conçus pour faciliter la création d'applications agentiques comme celles inspirées de ChatGPT ou d'applications MCP. Elle propose des blocs et composants prêts à l'emploi, personnalisables et extensibles, permettant aux développeurs de gagner du temps et de se concentrer sur la logique métier plutôt que sur la conception des interfaces.