OCamlPro

559 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·
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
121
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
118
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
181
OCamlPro
OCamlPro@OCamlPro·
Meetup #OUPS — 25 février 2026 La communauté #OCaml se retrouve à Paris, Au programme : - Julia Lawall — Coccinelle for C & #Rust - Marco Milanese — OCaml & MOPSA 📍4 place Jussieu, amphi Astier, Bâtiment Esclangon 👉 Inscription : meetup.com/fr-fr/ocaml-pa… #Meetup #Tech
Français
0
0
2
218
OCamlPro
OCamlPro@OCamlPro·
Formez-vous à #Rust 🦀 avec @OCamlPro ! Développez des logiciels fiables et performants. Rust Avancé : 16-18 février - Cas pratiques industriels - Mécanismes du langage approfondis - Compétence recherchée par l’industrie 👉 Inscrivez-vous : training.ocamlpro.com/formation-rust…
OCamlPro tweet media
Français
0
0
3
68
OCamlPro
OCamlPro@OCamlPro·
📢 @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 👇 jfla.inria.fr/jfla2026.html
Français
0
0
2
72
OCamlPro
OCamlPro@OCamlPro·
🆕 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 : ocamlpro.com/blog/ #OPAM #OpenSource #Dev
Français
1
0
2
121
OCamlPro
OCamlPro@OCamlPro·
📢 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 ! 👉 popl26.sigplan.org
Français
0
0
1
125
OCamlPro
OCamlPro@OCamlPro·
🎄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.
Français
1
0
3
92
OCamlPro
OCamlPro@OCamlPro·
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 titagone.com #Innovation #TransformationNumérique #Souveraineté
Français
0
0
3
74
OCamlPro
OCamlPro@OCamlPro·
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.
OCamlPro tweet mediaOCamlPro tweet mediaOCamlPro tweet mediaOCamlPro tweet media
Français
1
1
4
102