OCamlPro Profile Banner
OCamlPro Profile
OCamlPro

@OCamlPro

Followers
2K
Following
398
Media
97
Statuses
546

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
Don't wanna be here? Send us removal request.
@OCamlPro
OCamlPro
8 days
📱 @OCamlPro aux JFLA 2026 (27-30 janv.) ! Deux innovations Ă  dĂ©couvrir : đŸ”č Optimisation du pattern-matching OCaml đŸ”č GĂ©nĂ©ration de tests par exĂ©cution symbolique Tous les dĂ©tails 👇 https://t.co/6lQ6QwfeWU
0
0
0
@OCamlPro
OCamlPro
17 days
🆕 Nouvel article sur le blog OCamlPro : “Opam 104 – Sharing Your Code” Apprenez Ă  partager votre code #OCaml avec la communautĂ© : configuration de projet, bonnes pratiques opam et publication de packages. Lire l’article : https://t.co/2SXpM4Uczz #OPAM #OpenSource #Dev
Tweet card summary image
ocamlpro.com
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of...
1
0
0
@OCamlPro
OCamlPro
18 days
📱 OCamlPro Ă  #POPL2026 Du 11 au 17 janvier 2026, notre Ă©quipe est prĂ©sente Ă  POPL, la confĂ©rence de rĂ©fĂ©rence en langages de programmation et #mĂ©thodesformelles. HĂąte d’échanger avec la communautĂ© recherche & industrie ! 👉
0
0
0
@OCamlPro
OCamlPro
1 month
🎄Joyeuses fĂȘtes de fin d’annĂ©e ! Toute l’équipe Titagone & OCamlPro vous remercie pour votre confiance en 2025. Clients, partenaires, collaborateurs : merci pour cette belle annĂ©e Ă  vos cĂŽtĂ©s. HĂąte de poursuivre l’aventure ensemble en 2026 ! Excellentes fĂȘtes Ă  toutes et tous.
1
0
3
@OCamlPro
OCamlPro
1 month
DĂ©couvrez Titagone : notre nouvelle marque dĂ©diĂ©e Ă  un Ă©cosystĂšme numĂ©rique de confiance. Notre mission : vous accompagner avec des solutions fiables, performantes et souveraines. 👉 Suivez https://t.co/cBbPTRK2os #Innovation #TransformationNumĂ©rique #SouverainetĂ©
Tweet card summary image
titagone.com
Titagone provides expert software, verification & industrial optimization services - legacy sovereign migrations, formal methods, security and R&D. PhD-level consulting and tooling for mission-crit...
0
0
2
@OCamlPro
OCamlPro
2 months
Merci pour cette Ă©dition rĂ©ussie de #OSXP2025. De nombreux Ă©changes sur notre stand autour de GnuCOBOL, SuperBOL, SeaCoral et de Titagone. Temps fort : l’échange entre Jean-Marie Hauwel et Simon Sobisch, project leader de #GnuCOBOL. Au plaisir de poursuivre les Ă©changes.
1
1
4
@OCamlPro
OCamlPro
2 months
Rendez-nous visite demain Ă  l’@OSXP_Paris, Ă  la CitĂ© des Sciences et de l’Industrie de Paris, stand 3B20 ! 📅 Retrouvez tout le programme ici : https://t.co/JdZX8Zrnxz @Pole_Systematic
lnkd.in
This link will take you to a page that’s not on LinkedIn
@OCamlPro
OCamlPro
2 months
@OCamlPro sera Ă  l’Open Source Experience 2025 ! Le 10 & 11 dĂ©cembre, au CitĂ© des Sciences – Paris Au menu : - Modernisation — #GnuCOBOL & SuperBOL - Optimisation — OCaml, Rust - Innovation open source - Conseil & Formation Inscription : https://t.co/aJNBOHvoRK
0
1
2
@OCamlPro
OCamlPro
2 months
@OCamlPro sera Ă  l’Open Source Experience 2025 ! Le 10 & 11 dĂ©cembre, au CitĂ© des Sciences – Paris Au menu : - Modernisation — #GnuCOBOL & SuperBOL - Optimisation — OCaml, Rust - Innovation open source - Conseil & Formation Inscription : https://t.co/aJNBOHvoRK
0
0
1
@OCamlPro
OCamlPro
2 months
@OCamlPro ouvre un nouveau chapitre ! 🚀 10 ans d’innovation au service de la transformation numĂ©rique. En dĂ©cembre, dĂ©couvrez la prochaine Ă©tape, fidĂšle Ă  nos valeurs. #OCamlPro #Innovation #Tech
0
1
3
@OCamlPro
OCamlPro
2 months
Formation #Rust🩀by @OCamlPro Envie de monter en compĂ©tences sur un langage sĂ»r, rapide et moderne ? Notre prochaine session Rust AvancĂ© du 9–11 dĂ©cembre 2025. Infos et inscriptions : https://t.co/SSH7q8betJ @Pole_Systematic @financeinnov @Fr_Innovation
0
1
4
@OCamlPro
OCamlPro
3 months
#COBOL2025 : un hĂ©ritage vital, une modernisation essentielle. Les systĂšmes COBOL restent au cƓur d’infrastructures critiques. Comment relĂšvent-ils le dĂ©fi de la #modernisation ? Les rĂ©sultats du sondage : https://t.co/Kz1b6VYEqm @Pole_Systematic @HubOpenSource @Fr_Innovation
0
0
6
@OCamlPro
OCamlPro
3 months
🌐 Trois journĂ©es dans l’écosystĂšme #WebAssembly ! Entre le Community Group Meeting et le #Wasm Research Day, des Ă©changes riches En attendant la prochaine vidĂ©o, dĂ©couvrez la prĂ©sentation de LĂ©o : https://t.co/THbSYNUmjm sur le “Cross-language bug-finding through Wasm” @SCSatCMU
0
0
4
@OCamlPro
OCamlPro
3 months
🩀 Formez-vous Ă  #Rust ! Sessions Ă  venir : DĂ©butant du 4-6 nov et AvancĂ© du 9-11 dĂ©c Apprenez avec des experts, pratiquez sur des cas rĂ©els et rejoignez la communautĂ© #Rust française. Infos & inscriptions : https://t.co/s31t3j1sS5 @Pole_Systematic @financeinnov
0
2
4
@OCamlPro
OCamlPro
3 months
Les rĂ©sultats du sondage #COBOL2025 sont disponibles ! 💡 COBOL est un socle critique, souvent invisible, mais essentiel pour des centaines d’organisations. DĂ©couvrez le rapport complet https://t.co/zxCKgsMw5d #Mainframe #ModernisationIT #SuperBOL #OCamlPro
0
2
4
@OCamlPro
OCamlPro
4 months
Meetup #OUPS — lundi 13 octobre 2025 à 18h30 📍4 place Jussieu (amphi Astier, bñtiment Esclangon) 🧠 Au programme : - What's the deal with modular implicits ? — Samuel Vivien - Flambda2: Abstractions without Cost — Guillaume Bury Infos & inscription : https://t.co/FWBBKyvAtf
Tweet card summary image
meetup.com
Le prochain OUPS aura lieu le **lundi 13 octobre** 2025\. Le rendez\-vous est fixé à **18h30** au **4 place Jussieu, amphi Astier, dans le bùtiment Esclangon.** **L'inscri
0
0
4
@OCamlPro
OCamlPro
4 months
0
0
4
@OCamlPro
OCamlPro
4 months
🚀 OCamlPro sera Ă  #EuroRust 2025 du 9 au 11 octobre à📍Paris ! Notre collĂšgue Arthur Carcano y reprĂ©sentera l’équipe pour Ă©changer avec la communautĂ© #Rust autour d’innovation, de performance et de fiabilitĂ© logicielle. 👉 Programme complet : https://t.co/JOdEJPCXhS
1
1
5
@OCamlPro
OCamlPro
4 months
🩀 Formations #Rust DĂ©veloppez votre expertise dans l'un des langages les plus prometteurs. Sessions : Rust AvancĂ© → 7-9 oct Rust DĂ©butant → 4-6 nov Inscriptions : https://t.co/s31t3j1sS5 @Pole_Systematic @financeinnov @franceinno
0
2
4