Caradoc est un outil d'analyse, de validation et d'extraction de données pour les fichiers PDF. Il est écrit en OCaml et fournit de nombreuses commandes pour analyser les PDF, ainsi qu'une interface utilisateur en console.