OCAMLPRO

Titagone/OCamlPro est à la fois un éditeur de logiciels, spécialisé dans la résilience et la qualité logicielle, et un bureau d'étude (R&D) pour les solutions innovantes. Avec plus de 25 ingénieurs R&D, dont 80% de docteurs en informatique, l'entreprise fait le pont entre plus de 15 ans d'expérience du développement informatique et un ADN proche des milieux académiques et open-source.

L'activité d'éditeur de logiciels, portée par l'enseigne Titagone, propose d'une part SuperBOL/GnuCOBOL, une offre souveraine et open-source avec un environnement complet pour l'exécution du COBOL, déjà adoptée par plusieurs administrations et grandes entreprises, et d'autre part des outils de développement pour améliorer la qualité logicielle, et en particulier la détection/suppression de bugs, comme l'outil SeaCoral de génération automatique de tests unitaires pour le C embarqué.

L'activité de bureau d'étude, portée par le nom historique OCamlPro, relève des défis de conception complexes grâce à des méthodes formelles. Elle développe des solutions sur mesure, telles que la création de langages dédiés (comme le langage Niagara, qui remplace les fichiers Excel pour les producteurs de cinéma, aujourd'hui commercialisé par la Spinoff Kopek), l'audit de code, la vérification et l'optimisation. Pour ce faire, elle s'appuie sur l'utilisation de langages de programmation de pointe fortement typés, comme OCaml et Rust.