Plateforme éducative gratuite et interactive dédiée à l'apprentissage autonome de la programmation en Python. Conçue pour les débutants complets, elle propose un parcours guidé avec des exercices pratiques, des défis de prédiction de sortie de code et des solutions progressives. Les utilisateurs écrivent et exécutent du code directement dans l'éditeur intégré, avec des retours immédiats et des outils de débogage adaptés pour faciliter la compréhension.

InspectorGuidget est un outil permettant de détecter des mauvaises odeurs de design, spécifiquement les écouteurs d'événements blob, dans du code source Java utilisant les bibliothèques SWING, AWT ou JavaFX. Il se présente sous la forme d'un plugin Eclipse et s'intègre directement dans l'éditeur Java pour fournir des avertissements sur les problèmes détectés.

Plateforme éducative gratuite dédiée à l'apprentissage autonome de la programmation en Python. Elle propose un parcours interactif où les utilisateurs écrivent et exécutent du code directement dans un éditeur intégré. Le système guide les apprenants avec des exercices progressifs, des indices adaptés et des outils de débogage avancés pour faciliter la compréhension des concepts. L'objectif est de rendre l'apprentissage accessible à tous, notamment aux débutants complets.

Faustlsp est un serveur LSP (Language Server Protocol) dédié au langage de programmation Faust, utilisé principalement pour le traitement audio et la synthèse sonore. Il permet aux éditeurs de code comme VS Code, Neovim ou Emacs d'offrir des fonctionnalités avancées comme la complétion de code, la détection d'erreurs en temps réel, la documentation interactive et le formatage automatique. Ce projet vise à simplifier le développement d'applications audio en fournissant un outil d'assistance intelligent et intégré aux environnements de développement.

Universal-ctags est un projet open-source qui vise à continuer le développement de ctags, un outil d'indexation de code source permettant de générer des tags pour une édition de code plus efficace. Il offre une intégration avec plusieurs éditeurs de code et permet de rechercher des références dans du code source.

VsRocq est une extension pour Visual Studio Code et VSCodium qui fournit un support avancé pour le prouveur interactif Rocq (anciennement Coq). Il permet aux utilisateurs de vérifier des preuves mathématiques, de développer des logiciels certifiés et d'enseigner la logique formelle grâce à une intégration fluide avec l'éditeur. L'outil offre des fonctionnalités comme la vérification continue des preuves, une interface interactive pour explorer les objectifs de preuve et un panneau dédié aux requêtes.

La Pastinnz est une application web modulaire et extensible, construite avec Nx, permettant de gérer des interfaces utilisateur et des composants web. Elle offre des fonctionnalités de génération de code, d'exécution de tâches, d'intégration avec des éditeurs de code et de déploiement.

Outil de formatage automatique pour le langage Catala, conçu pour uniformiser et améliorer la lisibilité du code source. Il permet aux développeurs de gagner du temps en appliquant des règles de mise en forme standardisées, tout en s'intégrant facilement aux environnements de développement existants comme les éditeurs de texte ou les IDE.

Projet dédié à la création de thèmes pour l'éditeur de code Emacs, axé sur l'intégration avec l'environnement elementary OS et l'utilisation de HTML/CSS. Offre des solutions esthétiques et ergonomiques pour améliorer l'expérience de développement.

Ce projet permet de personnaliser et d'améliorer l'expérience utilisateur de l'éditeur de texte Emacs en intégrant des icônes modernes et esthétiques, grâce au dépôt de code source elementaryx-all-the-icons.