OCamlPro

@OCamlPro

OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods

France

ocamlpro.com

Joined January 2012

85 Following

1,966 Followers

Replies Reposts Media

OCamlPro
@OCamlPro
Oct 1
Derniers jours pour s'inscrire à notre formation Rust Débutant (7-9 octobre). 3 jours intensifs pour maîtriser l'ownership, le borrow checker et écrire un code sûr. Formation certifiée Qualiopi (éligible OPCO). Infos et inscriptions : training.ocamlpro.com/formation-rust… @Pole_Systematic
1
OCamlPro
@OCamlPro
Sep 21
Bravo aux équipes de l’@Inria pour le Workshop #OCaml 2026 ! Performances (OxCaml, Flambda2), sécurité et outillage : #OCaml confirme sa place de référence pour les systèmes exigeants. Notre récap' complet (🚨contenu technique)
ocamlpro.com
A tour of the OCaml Workshop 2026
This year, for the first time, the Functional Programming Workshops were held in Paris, on Inria's, the French National Computer Science Research Institute, campus along with a watch party for the...
OCamlPro
@OCamlPro
Sep 16
Formez-vous auprès de nos docteurs en informatique (Ph.D.) à notre prochaine formation Rust débutant du 7 au 9 octobre 2026. Places limitées, finançable via votre #OPCO (#Qualiopi). Inscrivez-vous maintenant : training.ocamlpro.com/formation-rust… @Pole_Systematic @financeinnov
OCamlPro
@OCamlPro
Sep 3
En #Rust, domptez le compilateur pour bloquer les bugs avant la prod. Formation Rust Débutant (7-9 oct. 2026) Certifiée #Qualiopi & éligible #OPCO Infos & inscriptions : training.ocamlpro.com @Pole_Systematic | @financeinnov
OCamlPro
@OCamlPro
Aug 19
@OCamlPro participe au #OCaml Workshop 2026 (#FPW) le 24 août. Fiers de contribuer au Program Committee pour évaluer les travaux sur le typage statique et les langages fonctionnels en production. Venez échanger sur vos enjeux système ! Planning : fpw26.github.io
Made with AI