OCamlPro Profile Banner
OCamlPro Profile
OCamlPro

@OCamlPro

Followers
2K
Following
392
Media
95
Statuses
538

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
26 days
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
5 days
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
12 days
@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
12 days
@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
19 days
@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
1 month
#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
1 month
🌐 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
2 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
2 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
2 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
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
2 months
0
0
4
@OCamlPro
OCamlPro
2 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
3 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
@OCamlPro
OCamlPro
3 months
🆕 Nouveau sur le blog @OCamlPro : OCaml Onboarding – Introduction Ă  Dune Un guide pratique pour bien dĂ©marrer avec OCaml et comprendre le systĂšme de build Dune. 👉 À lire ici : https://t.co/OFySjUczvs...
0
1
4
@OCamlPro
OCamlPro
3 months
🚀 La conf #Rust in Paris 2025 est en ligne ! Arthur vous emmĂšne dans les coulisses du panic! en Rust avec son talk : đŸŽ™ïž "What Happens When You Start Panicking" đŸ“ș https://t.co/cMmq0n5SxK #FunctionalProgramming #SystemsProgramming #RustLang
0
0
4
@OCamlPro
OCamlPro
3 months
Vos applis #COBOL sur #IBMAIX arrivent en fin de support ? Avec #GnuCOBOL & SuperBOL, @OCamlPro vous aide Ă  migrer vers Linux : - Moins de coĂ»ts - Plus de sĂ©curitĂ© - Modernisation sans réécriture LibĂ©rez vos applis de l’obsolescence !
1
3
6
@OCamlPro
OCamlPro
4 months
DERNIÈRES PLACES - #Formations #Rust 🩀 Nos sessions de rentrĂ©e affichent presque complet ! Disponible : - Rust DĂ©butant : 9-11 septembre - Rust AvancĂ© : 7-9 octobre Au programme : apprentissage progressif, projets concrets, expertise reconnue RĂ©servez : https://t.co/N6FZ0zkpdr
1
2
4
@OCamlPro
OCamlPro
4 months
@OCamlPro prendra part Ă  la 28ᔉ Ă©dition de la Conference on Theory and Applications of Satisfiability Testing (SAT 2025), qui se tiendra du 12 au 15 aoĂ»t 2025 Ă  Glasgow, Écosse. https://t.co/nYaYBVXmqQ https://t.co/E77Pvv8leZ @Pole_Systematic I @financeinnov @Fr_Innovation
satisfiability.org
The official site for the SAT 2025 conference
0
0
4
@OCamlPro
OCamlPro
4 months
🌞 OCamlPro passe en mode "Au Calme Pro" 🌮 Nos Ă©quipes prennent une pause bien mĂ©ritĂ©e pour revenir avec encore plus d'Ă©nergie et d'innovation du 4 𝑎𝑱 15 đ‘Žđ‘œđ‘ąÌ‚đ‘Ą 𝑖𝑛𝑐𝑙𝑱𝑠. Excellent Ă©tĂ© Ă  toutes et Ă  tous !đŸ–ïž
0
1
5