OCamlPro

570 posts

OCamlPro banner
OCamlPro

OCamlPro

@OCamlPro

OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods

France Katılım Ocak 2012
85 Takip Edilen2K Takipçiler
OCamlPro
OCamlPro@OCamlPro·
🚀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
OCamlPro tweet mediaOCamlPro tweet media
Français
0
2
3
74
OCamlPro
OCamlPro@OCamlPro·
Moderniser sans tout reconstruire ? Au Salon Souveraineté Numérique, Titagone - @OCamlPro présentera ses solutions Open Source pour analyser, améliorer et faire évoluer durablement les applications #COBOL. 📍 Paris Porte de Champerret 📅 30 juin & 1er juillet 📌 Stand D15
OCamlPro tweet media
Français
1
0
2
120
OCamlPro
OCamlPro@OCamlPro·
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
Français
0
0
0
44
OCamlPro
OCamlPro@OCamlPro·
Penser souverain aujourd’hui, c’est construire le numérique de demain. L'équipe @OCamlPro sera présente au Salon de la Souveraineté Numérique pour échanger sur cybersécurité, data, IA et cloud souverain. 📍 30 juin – 1er juillet.
OCamlPro tweet media
Français
1
1
6
65
OCamlPro
OCamlPro@OCamlPro·
🦀 C’est aujourd’hui ! L’équipe est fière de participer à #RustParis 2026, aux côtés de la communauté #Rust. 📍 Sorbonne Université – Paris 5e 09 juin 2026 | 09h–19h Une journée dédiée aux usages concrets de Rust dans l’industrie et la recherche. 👥 Passez nous voir sur place !
OCamlPro@OCamlPro

🦀Rust Paris 2026 approche ! 9 juin 2026 | Sorbonne Université, Paris Une journée dédiée à #Rust, ses usages concrets dans l’industrie et la recherche. Programme & inscription : rustparis.fr @HubOpenSource @FTGrandParis @comiterichelieu #RustParis2026

Français
0
0
3
132
OCamlPro
OCamlPro@OCamlPro·
Moderniser sans casser l’existant : l’enjeu des systèmes critiques sous #COBOL. Avec SuperBOL (basé sur #GnuCOBOL), on aide les équipes à comprendre, faire évoluer et sécuriser ces environnements sans tout réécrire. Et vous, où en êtes-vous avec vos systèmes legacy ?
OCamlPro tweet media
Français
1
1
3
149
OCamlPro
OCamlPro@OCamlPro·
La communauté OCaml Users in Paris (#OUPS) se retrouve ce mercredi 29 avril à 18h30 au 45 rue d’Ulm pour une soirée technique autour #OCaml.
Français
0
2
3
141
OCamlPro
OCamlPro@OCamlPro·
30 juin & 1er juillet 2026 Titagone / @OCamlPro sera au Salon Souveraineté Numérique, Porte de Champerret, pour en parler : compilateur #open-source #GnuCOBOL, IDE Vscode SuperBOL Studio, outils d’analyses de code #COBOL 📍Stand D15 !
OCamlPro tweet media
Français
0
1
4
198