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
đą @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
đ 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
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
đ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
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é
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
0
0
2
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
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
#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