Réalisé par Julien Burdy et Vincent Decorges, AdaDoc est un outils sous license GPL permettant de produire un document à partir de spécifications Ada.

AdaDoc produit un format intermédiaire XML commun avant de générer du HTML, LaTeX, etc... L’ajout d’un nouveau format de sortie est donc simplifié. Les sources en ligne d’AdaDoc sont un bon exemple de ce que sait faire l’outil.

En plus des sources, le site d’AdaDoc met à votre disposition des binaires pour Windows et Linux.