OCAMLPRO

OCamlPro est une Société de Recherche sous Contrat spécialisée dans l'informatique avancée, et en particulier, les traitements sur les langages de programmation (Rust, OCaml, WebAssembly, C, COBOL, etc.), avec une activité d'éditeur (extensions, support/maintenance) sur les solutions qu'elle a conçues dans le passé pour ses clients, ainsi que sur les compilateurs open source. L'expertise d'OCamlPro lui permet de concevoir des outils pour augmenter la productivité des équipes de développement, et la qualité/sécurité des logiciels.

Parmi ces solutions:
* SuperBOL/GnuCOBOL: un environnement de développement complet et moderne, basé sur le compilateur open-source GnuCOBOL, des extensions pour faciliter les migrations, et un éditeur moderne intelligent pour COBOL. SuperBOL est actuellement en cours de mise en production à la DGFiP (Direction Générale des Finances Publiques) ;
* TypeRex/OCaml: TypeRex est notre environnement de développement basé sur le langage OCaml et le gestionnaire de paquets Opam ;
* OWI: une plateforme d'analyse de code WebAssembly (Wasm) pour fiabiliser les développements se basant sur cette technologie;
* SeaCoral: un outil de génération automatique de tests unitaires pour C, par orchestration d'outils basés sur l'évaluation symbolique ;

OCamlPro dispense aussi son expertise sous forme de conseil et de formations débutant et expert sur les langages Rust et OCaml.

* 24 développeurs Recherche et Développement (R&D), dont 80% avec un doctorat (PhD) en informatique, et issus des meilleures formations (École Normale Supérieure/ENS, Polytechnique/X, etc.)
* plus de 50% de son activité à l'étranger avec des grands groupes
* participation à plus de 10 projets collaboratifs industriels/recherche (Agence Nationale de la Recherche/ANR, etc.)

Depuis sa création, OCamlPro a l'habitude d'intervenir avec succès sur des projets critiques:

* depuis 2011, OCamlPro développe le compilateur optimisant Flambda, utilisé par le 2ème plus gros opérateur de marché sur fonds propres, tradant avec 70 milliards de dollars de transactions par jour

* de 2014 à 2019, OCamlPro a développé le prototype de la première blockchain à preuve d'enjeu et sa plateforme d'Initial Coin Offering (ICO), qui a permis à sa fondation de lever plus de 200 millions de dollars dans les crypto-monnaies majeures, puis a conçu et déployé une partie de l'écosystème : explorateur de blocs, langage de contrats intelligents (smart contracts), etc.

* depuis 2021, OCamlPro participe à la mise en production du compilateur Mlang à la Direction Générale des Finances Publiques (DGFiP), pour le calcul de référence de l'impôt sur le revenu

* depuis 2022, OCamlPro intervient pour étendre le compilateur GnuCOBOL pour les besoins de la migration depuis d'anciens mainframes du projet de gestion des données comptables de la DGFiP

* depuis 2023, OCamlPro effectue les certifications au niveau 6+ des Critères Communs pour les microcontrôleurs d'un éditeur coréen commercialisés en Europe

Pour tous ses développements, OCamlPro a recruté une équipe d'élite, composée des meilleurs étudiants en recherche en informatique issus des meilleures écoles (doctorats, École Normale Supérieure, ingénieurs) et universités. Habitués à développer des solutions rapidement, l'équipe fournit aussi un support de qualité pour la maintenance, et une relation humaine et chaleureuse.

OCamlPro est un acteur reconnu de l'écosystème open-source. Membre du groupe Open Source du pôle de compétitivité francilien depuis sa création, OCamlPro promeut, quand cela est possible, l'utilisation de logiciels open-source, et la souveraineté numérique européenne. OCamlPro promeut aussi une culture interne de l'excellence technique et académique, participant aux conférences françaises et européennes sur l'open source, et sur la recherche en informatique au niveau national (Journées Francophones sur les Langages Applicatifs, Groupes de Réflexion, etc.) et mondial (Conférence Internationale sur les Langages Fonctionnels, Principes Fondamentaux des Langages de Programmation, etc.)