Portail public dédié à la gestion et à la simplification des démarches liées aux permis de conduire en France. Il permet aux usagers d'accéder à des services en ligne sécurisés pour effectuer des demandes, consulter des informations ou interagir avec les administrations compétentes. Le site facilite les échanges dématérialisés et réduit les contraintes administratives pour les citoyens.

Bibliothèque de recherche développée dans le cadre des recherches de l'équipe COGIT concernant le traitement des réglementations urbaines. Elle fournit une implémentation d'un algorithme de simulated annealing multidimensionnel pour produire des configurations de bâtiments à partir d'un ensemble de boîtes contraintes par les réglementations urbaines qui optimisent une fonction d'utilité. Le projet est développé sur la bibliothèque GIS Open-Source 3D [GeOxygene]() pour les opérateurs géométriques et la visualisation 3D, [librjmcmc4j]() pour l'implémentation de simulated annealing et [simplu3d-rules]() pour la gestion du modèle géographique et des réglementations.

Bibliothèque Python proposant des workflows d'itérateurs asynchrones pour la gestion de flux de données sans saturation mémoire, tout en respectant les contraintes de parallélisme des tâches, idéale pour le téléchargement massif de fichiers depuis le web.

Ce projet est un exemple de code démontrant la gestion d'événements récurrents et simples, ainsi que la gestion d'associations entre différents types d'objets. Il inclut également des fonctionnalités de gestion d'attributs avec contraintes et validation, ainsi que la gestion d'exceptions business et techniques.

Smews est un serveur web embarqué conçu pour fonctionner sur des appareils fortement contraints. Il inclut des fonctionnalités de gestion de contacts et de tableaux, ainsi que des capacités de communication avec des serveurs distants.

Ce plugin permet de gérer et de vérifier les URL autorisées pour l'accès aux services, en assurant l'intégrité des URL de redirection grâce à un système de contraintes et une implémentation de gestion de base de données.

Le projet robocop-core fournit les fonctionnalités et interfaces de base pour le framework RoboCoP, qui permet le contrôle de robots physiques, la génération de configurations de modèles et la gestion de contraintes et tâches pour les robots.

CoMe4ACloud est un projet financé par Atlanstic2020 dont l'objectif est de fournir une solution de bout en bout pour les services cloud autonomiques. Il utilise des techniques de programmation par contraintes pour la prise de décision et des techniques d'ingénierie des modèles pour faciliter la génération automatique des gestionnaires autonomiques ainsi que leur communication avec le système géré.

Opam est un gestionnaire de paquets source pour le langage de programmation OCaml. Il supporte plusieurs installations de compilateurs simultanées, des contraintes flexibles de paquets et un workflow de développement Git-friendly.