Annuaire des initiatives
Pertinence
Vous ne trouvez pas l'initiative qui correspond à votre besoin ? Notre assistant peut vous aider.
- 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.
- Ce projet fournit une image Docker pour faciliter la création et la publication de sites web basés sur Antora. Antora est un outil spécialisé dans la génération de documentation technique à partir de fichiers Markdown organisés en dépôt Git. L'image Docker permet aux utilisateurs de déployer rapidement un environnement prêt à l'emploi pour transformer leur contenu documentaire en sites web statiques, optimisés pour la consultation en ligne.
- Le projet docker-code-server est une adaptation d'une image Docker existante, conçue pour fournir un environnement de développement web complet et personnalisable. Il est basé sur la dernière version LTS d'Ubuntu et inclut des outils supplémentaires tels que zsh et python3. L'image exposée est conçue pour être facilement déployée et adaptée aux besoins spécifiques des applications web.
- Le projet docker-webtop est une image Docker personnalisée basée sur l'image WebTop de LinuxServer.io. Il fournit un environnement de bureau Linux léger dans un conteneur Docker, avec des options pour XFCE, KDE ou IceWM. Lorsqu'il est déployé sur MyDocker, il utilise une authentification HTTP de base. Le projet intègre également Nextcloud pour le partage de fichiers et la collaboration en ligne.
- Ce projet fournit une image Docker de base CentOS 7 personnalisée, équipée d'un système d'initialisation et d'un superviseur de processus (S6) pour gérer plusieurs processus dans un conteneur Docker. Il facilite l'intégration de services personnalisés dans des conteneurs Docker en fournissant des scripts d'initialisation et des exemples.
42 initiatives
10