Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- Le projet Agrippa est une solution dédiée à l'assistance dans la gestion de doublons de fichiers, facilitant ainsi la comparaison et le traitement de ces derniers. Il vise à optimiser les processus de gestion de fichiers en identifiant et en gérant les doublons, contribuant ainsi à l'amélioration de l'organisation et de l'efficacité des workflows.
- LLaVA est un projet visant à fournir des fonctionnalités d'assistance pour la génération de descriptions de texte à partir de données markdown, la capitalisation des premières lettres de mots, la gestion des sélections de questions et de modèles, le préremplissage des menus déroulants de questions et de modèles, et l'affichage de questions et de réponses.
- Emacs Bedrock Organization Non-Free propose un dépôt de code source pour personnaliser et améliorer l'environnement de développement Emacs. Il offre des fonctionnalités d'assistance à la rédaction de code et de gestion de projets, permettant aux développeurs de travailler plus efficacement et de manière plus personnalisée.
- Le projet docker-mathcomp fournit des images Docker de versions stables de la bibliothèque Mathematical Components pour l'assistant de preuve Coq. Ces images sont basées sur les images coqorg/coq, qui reposent sur Debian 11 Slim et opam 2.0. Le projet vise à faciliter l'utilisation de la bibliothèque Mathematical Components, à fournir un environnement Coq préconfiguré et à simplifier l'installation et la gestion des dépendances Coq.
- Notoriété 7 %Ce projet est consacré au développement et à la maintenance de la plateforme Disabled, qui est une archive de paquets pour Coq, un assistant de preuve interactif pour la logique d'ordre supérieur. Disabled permet de simplifier l'installation et la gestion des dépendances pour les utilisateurs de Coq.
37 initiatives
10