OCamlPro est une Société de Recherche sous Contrat spécialisée en informatique avancée (agrément CIR/CII) créée en 2011. Avec un ADN académique (80% de PhDs), OCamlPro est experte dans la conception de langages et d’outils (compilation, optimisation, analyse de code, vérification de code) pour tous les langages (Wasm, Rust, COBOL, etc.).
– Développement en mode commando
– Conception de langages métiers pour doper la productivité des équipes métier
– Outils de développement (analyseurs de code, compilateurs optimisants).
– Audit de code et de programmes (performance, qualité)
– Recherche opérationnelle
Success stories: compilateur optimisant pour Jane Street, extension de GnuCOBOL pour la DGFiP, prototypage de la blockchain Tezos
Membres
OCamlPro
Elements clés
ocaml<br />
cobol<br />
rust<br />
méthodes-formelles<br />
compilateur<br />
lsp<br />
analyseur-de-code<br />
wasm<br />
dsl<br />
langage<br />
modernisation<br />
open-source<br />
nocode<br />
lowcode<br />
recherche-opérationnelle<br />
optimisation
Membre / Groupe
Hub Open Source, Systematic Paris Region<br />
French Tech Paris Saclay