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
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
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 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 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 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
#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
đ 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
đŠ 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
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
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 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
đŠ 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
đ 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
đ 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
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 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 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