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.

Ce projet permet d'exécuter des scripts Python directement dans l'environnement ADS (Advanced Design System) de Keysight, facilitant l'automatisation des simulations électroniques et l'analyse des données générées. Il offre des outils pour manipuler des workspaces, exploiter des fichiers de simulation (.dds) et générer des rapports ou des visualisations. Compatible avec des environnements externes comme VS Code, il simplifie l'intégration des bibliothèques spécifiques à ADS pour des workflows personnalisés.

Solution logicielle dédiée à l'intégration et à l'optimisation des workflows de développement pour les projets Unity. Permet aux équipes de collaborer efficacement, d'automatiser les tests et d'améliorer les performances des applications. Facilite le déploiement continu et la gestion des environnements de développement intégrés (IDE) comme Visual Studio, Rider et VS Code.

Ce projet propose des installateurs natifs pour l'outil Catala sur Windows. Il permet aux utilisateurs d'installer facilement l'ensemble de la chaîne de compilation et des outils associés (comme le LSP ou le formatteur) sans configuration manuelle complexe. L'installateur gère automatiquement l'ajout au PATH système et peut inclure une extension VS Code pour une intégration optimale dans l'environnement de développement.

Ce projet est un serveur MCP qui expose l'API RefApp sous forme d'outils MCP, permettant une intégration facile avec des modèles de langage ou des environnements de développement comme VS Code. Il agit comme un pont entre l'API RefApp et des services compatibles MCP, simplifiant l'accès à ses fonctionnalités pour des usages automatisés ou assistés par IA.

Image Docker basée sur code-server, personnalisée pour le développement Python. Elle vise à fournir un environnement de développement intégré haut de gamme avec des modules adaptés à Python pour aider les développeurs.

Extension Visual Studio Code dédiée au langage Faust, conçue pour faciliter l'écriture, l'édition et le débogage de code audio. Elle offre une coloration syntaxique, des extraits de code pré-remplis et une intégration avec un serveur de langage pour des fonctionnalités avancées comme les diagnostics, l'autocomplétion et la documentation contextuelle. Destinée aux développeurs et compositeurs souhaitant créer des applications audio ou des instruments virtuels.

Notebook-vscode est un projet open source qui vise à fournir un environnement de développement intégré pour Jupyter Notebooks, en intégrant des fonctionnalités de Visual Studio Code. Il permet aux développeurs de bénéficier d'un environnement de développement complet pour l'écriture et l'exécution de code Python dans un environnement web.

Le projet vsc-coqtl est un conteneur destiné au développement distant de projets coqtl dans Visual Studio Code. Il permet d'intégrer les fonctionnalités de coqtl directement dans l'environnement de développement, facilitant ainsi le travail des développeurs sur les projets coqtl.

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.