Le projet Dedukti est une plateforme dédiée à un outil de vérification de preuves formelles. Il permet aux chercheurs et développeurs de partager des travaux, des ressources et des avancées dans le domaine de la logique et de la vérification automatique. Le site sert de vitrine pour promouvoir l'outil et faciliter l'accès à sa documentation.

Ce projet héberge des outils et ressources dédiés au développement logiciel, notamment pour la gestion de code source, l'intégration continue, et la collaboration d'équipe. Il facilite le partage de bonnes pratiques, l'automatisation des tests et des déploiements, ainsi que l'analyse sécuritaire des projets. Destiné aux développeurs et équipes techniques, il permet de centraliser des processus clés pour accélérer et sécuriser le cycle de vie des applications.

Plateforme dédiée à la gestion et au suivi de projets techniques, permettant aux équipes de collaborer efficacement sur des développements logiciels. Elle facilite la documentation, le partage de ressources et l'organisation des tâches pour optimiser la productivité des développeurs.

Ce projet vise à faciliter le développement, l'apprentissage et la collaboration autour du langage de programmation C. Il propose un espace dédié à la gestion de code source, aux tests automatisés et à l'intégration continue pour les développeurs utilisant ce langage. Le dépôt permet également de partager des ressources, des bonnes pratiques et des outils pour optimiser la productivité des équipes travaillant en C.

Plateforme dédiée à l'hébergement et à la gestion de dépôts de code source pour les projets de développement logiciel. Permet aux équipes de collaborer, de suivre les versions et de partager des ressources techniques. Utilisée par des développeurs pour centraliser et organiser leurs travaux.

Semaine5 est une plateforme collaborative dédiée à la gestion de projets web. Elle permet aux équipes de créer, organiser et suivre des tâches en temps réel, facilitant ainsi la coordination et la productivité. Adaptée aux méthodes agiles, elle offre des outils pour structurer les sprints, partager des ressources et centraliser la documentation technique. Idéale pour les développeurs, designers et chefs de projet.

Plateforme de documentation technique collaborative dédiée à des projets open source. Elle permet aux développeurs de centraliser, structurer et partager des ressources techniques, des guides et des bonnes pratiques pour faciliter la contribution et l'adoption de projets logiciels. Destinée aux communautés techniques, elle favorise la transparence et l'innovation collective.

Ce projet est une documentation technique ou un dépôt de code source destiné à centraliser des ressources, des guides ou des spécifications pour des développeurs ou des équipes techniques. Il facilite la collaboration et le partage de connaissances autour d'un ensemble d'outils, de bibliothèques ou de bonnes pratiques.

Bibliothèque logicielle dédiée à la gestion et à la centralisation de ressources techniques pour les développeurs. Ce projet facilite la collaboration entre équipes en offrant un espace unique pour stocker, documenter et partager des composants logiciels, des outils et des bonnes pratiques. Il permet également d'automatiser les tests et l'intégration continue pour garantir la qualité des développements.

Ce projet permet de créer et déployer des sites de documentation technique ou pédagogique, notamment pour des projets éducatifs. Il facilite l'intégration de code Python exécutable directement dans les pages, offrant ainsi une expérience interactive pour les utilisateurs. Idéal pour les enseignants, formateurs ou développeurs souhaitant partager des ressources techniques de manière dynamique et accessible.