OCaml-LSP est un serveur de langage pour OCaml qui implémente le protocole Language Server Protocol (LSP). Il offre des fonctionnalités telles que la coloration syntaxique, la complétion de code, l'analyse de code en temps réel et la résolution de types.

Merlin est un service d'éditeur qui fournit des fonctionnalités IDE modernes pour le langage de programmation OCaml. Il prend en charge Emacs et Vim par défaut et peut être configuré pour fonctionner avec d'autres éditeurs. Il fournit une complétion de code, une analyse de code en temps réel et d'autres fonctionnalités pour aider les développeurs à écrire et à déboguer du code OCaml.

Menhir est un générateur d'analyseurs syntaxiques LR(1) dédié au langage OCaml. Il permet aux développeurs de créer facilement des parseurs pour leurs langages ou leurs compilateurs, en automatisant une partie complexe du processus. Utilisé principalement dans le domaine de la compilation et de l'analyse de code, il facilite l'écriture de grammaires et leur transformation en code exécutable.

Outil d'analyse de code OCaml permettant d'évaluer la qualité et la complexité des fonctions et modules. Il calcule des métriques clés comme la complexité cyclomatique, les lignes de code, les mesures de Halstead et l'indice de maintenabilité. Génère des rapports détaillés dans plusieurs formats pour aider les développeurs à améliorer leur code.

Cet outil génère des analyseurs statiques pour du code OCaml à partir de sémantiques squelettiques. Il produit des fichiers OCaml compatibles avec un solveur de points fixes, permettant d'analyser des fonctions et des termes en effectuant des analyses avant et arrière. Le projet cible principalement les chercheurs et développeurs travaillant sur l'analyse de programmes fonctionnels, en automatisant la création d'analyseurs précis pour des propriétés spécifiques.

Clangml est une bibliothèque OCaml offrant des fonctionnalités d'analyse de code source pour le langage C. Elle fournit des interfaces pour interagir avec les fonctionnalités de Clang, une bibliothèque C de traitement de code source C. Les fonctionnalités de clangml incluent la génération d'informations sur la structure et la sémantique du code C, ce qui facilite l'analyse et la manipulation du code source.

Spinfer est un outil d'analyse de code source permettant la génération de correctifs sémantiques à partir de paires de fichiers source avant et après modification. Il utilise Coccinelle comme sous-module et requiert des dépendances spécifiques telles que des paquets OCaml et Python.

Clangml est une interface écrite en OCaml permettant d'analyser et de générer des informations à partir de code source C en utilisant Clang.