Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Ce plugin MapStore permet aux collectivités locales de visualiser, gérer et analyser les Plans Locaux d'Urbanisme Intercommunaux (PLUI) de manière interactive. Il offre des outils dédiés pour suivre les évolutions urbaines, collaborer sur les projets d'aménagement et faciliter la prise de décision des acteurs publics et des citoyens. Intégré à une plateforme cartographique, il simplifie la compréhension des données géospatiales et des procédures administratives liées à l'urbanisme.
- Ce projet fournit une bibliothèque logicielle pour faciliter l'interaction avec des bases de données SQL. Il simplifie la création, l'exécution et la gestion des requêtes SQL, permettant aux développeurs d'accéder rapidement et efficacement aux données stockées dans des systèmes de gestion de bases de données relationnelles. L'objectif est d'accélérer le développement d'applications nécessitant des opérations sur des bases de données.
- Cette bibliothèque Java permet aux applications utilisant LangChain4j de se connecter à la plateforme Lutece AI. Elle facilite l'intégration de modèles d'IA (chat, streaming, embeddings) via une API centralisée, offrant une gouvernance unifiée, des quotas contrôlés et une observabilité renforcée. Idéale pour les développeurs souhaitant standardiser leurs interactions avec les services d'IA tout en bénéficiant d'une gestion simplifiée des appels API.
- Py-LINQ-SQL est une bibliothèque Python conçue pour interagir avec des bases de données SQL, notamment PostgreSQL, en utilisant la syntaxe LINQ. Elle permet d'écrire des requêtes complexes de manière plus lisible et sécurisée en Python pur, sans recourir à des chaînes de caractères SQL brutes. Le projet cible les développeurs souhaitant simplifier leurs interactions avec les bases de données tout en minimisant les risques d'erreurs ou d'injections.
- Notoriété 10 %Ce projet fournit des encodages de règles d'inférence et de méta-théorèmes utilisés pour la vérification du prouveur automatique de théorèmes Leo-III en logique d'ordre supérieur. Les encodages sont développés dans le cadre du système Dedukti et exploités via l'assistant de preuve interactif Lambdapi. Il facilite la clausification, la simplification de termes et la gestion des littéraux pour les preuves automatisées.
- Notoriété 70 %Ce portail permet aux parents d'élèves de gérer en ligne les démarches administratives liées à la scolarité de leurs enfants. Il offre des fonctionnalités pour activer des comptes, suivre les inscriptions, consulter et signer des documents, gérer les autorisations, demander des bourses, payer des factures et accéder aux livrets scolaires. Le service centralise ces outils pour simplifier les interactions avec les établissements scolaires.
- Outil pédagogique et de recherche permettant de visualiser et analyser des données lidar issues de mesures atmosphériques. Destiné aux étudiants et chercheurs, il facilite l'exploration interactive des profils de particules en suspension dans l'air. Le projet s'intègre dans un environnement Jupyter pour une utilisation simplifiée et collaborative.
- Libusb est une bibliothèque open source qui permet aux développeurs d'accéder et de contrôler des périphériques USB depuis des applications utilisateur. Elle facilite l'interaction avec des appareils matériels comme des capteurs, des imprimantes ou des microcontrôleurs, indépendamment du système d'exploitation. Utilisée dans de nombreux projets embarqués et logiciels, elle simplifie le développement d'interfaces entre logiciels et matériel.
39 initiatives
10