OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
France
Joined January 2012
- Tweets582
- Following86
- Followers2K
- Likes429
Toujours un plaisir de bosser avec l'équipe #Creusot. On avance sur #DéCySif pour rendre le #Rust encore plus sûr et pousser les perfs d'Alt-Ergo un cran plus loin.
Les détails du projet : decysif.fr/fr/
@OCamlPro @Inria @TrustInSoft @AdaCoreCompany
OCamlPro retweeted
Une semaine de travail intense en présentiel pour l’équipe @superbol_studio/#GnuCOBOL chez WIPSE à Gif-sur-Yvette ! Notre mission : faciliter vos migrations avec un minimum d’impact sur le code source.
Découvrez comment moderniser vos applications COBOL superbol.eu/
Nouveau chapitre pour Titagone & OCamlPro ! Nous emménageons au cœur du 6e arrondissement.
📍60, rue Saint André des Arts, 75006 Paris
Aperçu de nos nouveaux locaux en images
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/format…
@Pole_Systematic
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/blog/2026_09_14…
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/format…
@Pole_Systematic @financeinnov
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 retweeted
@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
OCamlPro retweeted
La prochaine session Rust Débutant aura lieu du 7 au 9 octobre 2026. Vous souhaitez former vos équipes ou vérifier vos droits #OPCO pour cette session ?
Retrouvez le programme complet et les démarches sur training.ocamlpro.com/format…
@Pole_Systematic | @financeinnov
La prochaine session Rust Débutant aura lieu du 7 au 9 octobre 2026. Vous souhaitez former vos équipes ou vérifier vos droits #OPCO pour cette session ?
Retrouvez le programme complet et les démarches sur training.ocamlpro.com/format…
@Pole_Systematic | @financeinnov
🚀C’est parti pour le #SalonSouverainetéNumérique2026 !
Retrouvez notre équipe pendant 2 jours pour échanger sur la modernisation des systèmes critiques, l’#OpenSource et la souveraineté technologique.
📍 Paris Porte de Champerret
📅 30 juin & 1er juillet
📌 Stand D15
J-7 avant le Salon Souveraineté Numérique
30 juin & 1er juillet 2026
Inscription : salon-souverainete-numerique…
@Pole_Systematic @HubOpenSource @flefessant
🇪🇺 La #souveraineténumérique n'est plus un sujet IT, mais un enjeu stratégique.
Maîtrise des données, résilience, indépendance : des choix qui comptent.
➡️ titagone.com/fr/blog/digital…
@Pole_Systematic
@FTGrandParis
@HubOpenSource
@comiterichelieu
🤖 Made with AI
Les 30 juin & 1er juillet 2026, l'équipe sera au Salon Souveraineté Numérique à Paris pour en parler concrètement : #GnuCOBOL, SuperBOL, fiabilité logicielle, indépendance vis-à-vis des éditeurs propriétaires. Passez nous voir au stand D15.
@Pole_Systematic @comiterichelieu
Lien d'inscription : salon-souverainete-numerique…