Ce projet fournit un accès aux codes juridiques français en vigueur et non plus en vigueur. Il permet une consultation simplifiée et organisée de ces codes, facilitant ainsi leur compréhension et application.

Le projet coding_dojos est une plateforme dédiée à l'organisation de séances d'entraînement de codage pour les développeurs. Il permet de créer des exercices de codage et des défis, et de faciliter l'apprentissage de nouveaux langages de programmation.

Le projet codingdojo est une plateforme dédiée à l'organisation et à la promotion de séances de codage collaboratives, visant à faciliter l'apprentissage et l'enseignement du code. Il permet de connecter des développeurs et des passionnés de codage, favorisant ainsi le partage des connaissances et des meilleures pratiques.

Ce projet est un tutoriel expliquant comment distribuer du code Python sur PyPI, en organisant correctement le code et en créant des environnements virtuels. Il est inspiré du tutoriel de Loïc Gouarin.

Ce projet est une implémentation de la théorie des ensembles dans Dedukti, utilisant une version intuitionniste de la théorie des ensembles où les ensembles sont représentés par des graphes pointés. Il contient plusieurs fichiers de code organisés en fonctionnalités, notamment la logique, les nombres naturels, la théorie des graphes pointés, la théorie des formules, l'extension de la langue, la preuve de la théorie des ensembles et des lemmes associés.

Le projet Shell est un dépôt de code source destiné au TP (Travaux Pratiques) du DIU - EIL. Il fournit une arborescence pour organiser et gérer les fichiers et scripts shell, permettant d'automatiser des tâches système et d'exécuter des commandes shell de manière efficace et organisée.

Ce projet vise à améliorer la communication interne au sein d'une organisation grâce à des fonctionnalités de messagerie. Il inclut également des outils pour automatiser les tests de logiciels, ce qui permet de garantir la qualité et la fiabilité du code.

Le projet sandbox-ks-gh est un dépôt de code source conçu pour fournir un environnement de test et de développement. Il permet de simplifier le déploiement et d'organiser le code.

Plateforme open source qui agrège et expose des métadonnées sur les dépôts de code et les écosystèmes logiciels. Elle permet aux développeurs, chercheurs et organisations d'accéder à des données structurées sur les projets open source, leurs dépendances, licences et statistiques. L'objectif est de renforcer la transparence, la sécurité et la durabilité des infrastructures numériques critiques en fournissant des outils et des jeux de données ouverts.

Plateforme dédiée à l'organisation de la Nuit du Code 2023, événement visant à promouvoir l'inclusion et la diversité dans le domaine de la technologie. Ce projet facilite l'inscription des participants, offre un espace de discussion et partage des informations sur les réseaux sociaux.