Le leader mondial de l'expertise OCaml
Fondés en tant qu'OCamlPro, promouvoir et faire progresser OCaml est notre mission d'origine. Nous sommes la seule entreprise à maîtriser toute la chaîne, du compilateur aux applications industrielles critiques. Les meilleurs contributeurs de la communauté sont chez nous, ou travaillent avec nous.
La seule équipe qui maîtrise toute la chaîne OCaml
Contributeurs actifs au compilateur OCaml, aux outils officiels et à l'écosystème open source. De la conception de langages à la formation certifiée, en passant par les solveurs SMT, les DSL et les applications critiques.
Nos capacités OCaml
Contributions au compilateur OCaml
flambda2, optimisations backend, extensions du langage. Nous faisons évoluer le compilateur lui-même.
Formation OCaml certifiée Qualiopi
Du débutant à l'expert, finançable OPCO, dispensée par les auteurs du compilateur.
Solveurs SMT
Comme Alt-Ergo pour la vérification automatisée.
Design de DSL
Langages dédiés avec sémantique formelle garantie.
Trading haute fréquence
Optimisation de runtime pour des gains mesurables.
Problèmes résolus avec OCaml
Solveurs industriels
Atteindre 98% de preuve automatique sur des systèmes critiques.
Trading ultra-basse latence
Livrer des compilateurs optimisés là où chaque nanoseconde compte.
Design de langages
De la finance à la blockchain, bâtir des langages sûrs par design.
Protocoles blockchain
Engineering de protocoles avec vérification intégrée (Tezos).
Projets bâtis sur OCaml
Accélérer le trading quantitatif
Découvrez comment Titagone a aidé Jane Street à réaliser 20 % de gain de performance sur ses systèmes de trading quantitatif grâce à des optimisations avancées du compilateur OCaml.
Propulser la vérification de programmes par SMT pour l'industrie
Découvrez comment Alt-Ergo est passé d'un prototype de recherche à un solveur SMT industriel, atteignant 98 % de succès en preuve automatique pour les systèmes critiques.
Pionnier de la première blockchain Proof-of-Stake
Pionnier de l'une des premières blockchains Proof-of-Stake, traitant 250 millions de dollars en ICO en quelques semaines.