OCamlPro
banner
ocamlpro.bsky.social
OCamlPro
@ocamlpro.bsky.social
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
🎄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.
December 23, 2025 at 2:16 PM
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é
Titagone – Software, Services & Innovation
Titagone provides expert software, R&D and PhD-level consulting. The right tools for mission-critical systems, verification & industrial optimization services - legacy sovereign migrations (COBOL, Rus...
titagone.com
December 18, 2025 at 9:02 AM
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.
December 16, 2025 at 9:30 AM
C’est parti pour l’Open Source Experience aujourd’hui et demain. Découvrez en avant-première un nouveau chapitre pour OCamlPro et échangez avec nous autour de GnuCOBOL, compilateur libre pour COBOL dont nous sommes contributeurs majeurs, et SuperBOL, solution moderne de développement pour COBOL.
December 10, 2025 at 2:15 PM
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 : opensource-experience.com
December 2, 2025 at 9:12 AM
✨Et si un nouveau chapitre commençait pour OCamlPro ?

Depuis plus de 10 ans, nous innovons et contribuons à la transformation numérique.

Une nouvelle étape se prépare…

Rendez-vous en décembre pour découvrir cette évolution fidèle à nos valeurs et à notre mission.
November 25, 2025 at 9:01 AM
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 : training.ocamlpro.com/formation-ru...
November 18, 2025 at 9:44 AM
#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 : superbol.eu/blog/survey-...
November 6, 2025 at 3:58 PM
🌐 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 : www.youtube.com/watch?v=x6V-...
sur le “Cross-language bug-finding through Wasm”
@scsatcmu.bsky.social
Wasm Research Day 2025 – Léo Andrès
YouTube video by Carnegie Mellon Software and Societal Systems Dept
www.youtube.com
November 5, 2025 at 10:54 AM
Reposted by OCamlPro
Passez au niveau supérieur🚀avec notre #Formation #Rust Avancée du 4 au 6 février 2025 en présentiel. Perfectionnez votre expertise et boostez vos projets !🔗 Inscrivez-vous ici training.ocamlpro.com/formation-ru...
Formation Formation Rust Avancée
OCamlPro diffuse son expertise des langages de programmation et des méthodes formelles au travers de nombreuses formations.
training.ocamlpro.com
January 21, 2025 at 4:30 PM
🦀 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 : training.ocamlpro.com
October 28, 2025 at 3:38 PM
Les résultats du sondage COBOL 2025 sont disponibles !

💡 COBOL est un socle critique, souvent invisible, mais essentiel pour des centaines d’organisations.

Découvrez le rapport complet : superbol.eu/news/survey-...

#COBOL #Mainframe #ModernisationIT #SuperBOL #OCamlPro
SuperBOL - Les outils open source les plus avancés pour COBOL
Notre équipe d’experts des langages de programmation aident les entreprises à reprendre le contrôle de leurs infrastructures COBOL en utilisant SuperBOL, les outils open-source les plus avancés constr...
superbol.eu
October 22, 2025 at 2:42 PM
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 : www.meetup.com/fr-FR/ocaml-...
OUPS Octobre 2025, lun. 13 oct. 2025, 18:30 | Meetup
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
www.meetup.com
October 7, 2025 at 9:33 AM
🚀 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 :
ti.to/events-matte...
EuroRust 2024
EuroRust is a two-day conference for the European Rust community. We cover all things Rust: from Rust patterns and idioms to systems programming and CLI tooling, servers, and WASM. • Workshops will be...
ti.to
October 6, 2025 at 10:11 AM
🦀 Formations #Rust

Rejoignez notre programme de formation Rust et développez votre expertise dans l'un des langages les plus prometteurs.

Sessions à venir :
- Formation hashtag#Rust Avancé → 7-9 octobre
- Formation hashtag#Rust Débutant → 4-6 novembre

Inscriptions : training.ocamlpro.com
September 25, 2025 at 1:33 PM
La conf Rust in Paris 2025 est en ligne !

Arthur explore les coulisses du panic! en Rust dans "What Happens When You Start Panicking".
lnkd.in/eqwAAXgN

Chez OCP, nous sommes fiers de soutenir des événements qui font avancer l’écosystème des langages fonctionnels & systèmes.
September 18, 2025 at 10:57 AM
🆕 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 : ocamlpro.com/blog/2025_07...
OCaml Onboarding: Introduction to the Dune build system
Welcome to all Camleers We are back with another practical walkthrough for the newcomers of the OCaml ecosystem. We understand from the feedback we have gathered over the years that getting started wi...
ocamlpro.com
September 17, 2025 at 11:43 AM
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 !
September 11, 2025 at 10:05 AM
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 : lnkd.in/eGhqRDR7
August 19, 2025 at 3:01 PM
🌞 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 𝑎𝑜𝑢̂𝑡 𝑖𝑛𝑐𝑙𝑢𝑠. Rendez-vous à la rentrée ! Excellent été à toutes et à tous !🏖️
August 1, 2025 at 12:31 PM
📊RAPPEL : Questionnaire #COBOL 2025

Aidez-nous à dresser un état des lieux de l'écosystème #COBOL en 2025. Le questionnaire est toujours ouvert. Nous avons besoin de votre retour d'expérience. form.typeform.com/to/NSuM9Z2r

Merci pour votre participation !
July 18, 2025 at 9:36 AM
RENTRÉE TECH : Formations #Rust 2025

L'été, c'est le moment parfait pour planifier votre montée en compétences !

Nos prochaines sessions :
Rust Débutant : 9-11 septembre
Rust Avancé : 7-9 octobre

Inscriptions : training.ocamlpro.com
July 17, 2025 at 9:24 AM
OCamlPro x La Communauté Du COBOL

The #COBOL 2025 survey is now available in English!

We're interested in your COBOL experience, regardless of your role.

Share your feedback: form.typeform.com/to/EZECRBTV
Survey COBOL 2025
Turn data collection into an experience with Typeform. Create beautiful online forms, surveys, quizzes, and so much more. Try it for FREE.
form.typeform.com
July 10, 2025 at 1:05 PM
Notre questionnaire #COBOL 2025 est disponible
en anglais !

Votre expérience COBOL nous intéresse, quel que soit votre rôle.

Partagez votre retour d'expérience ici :
form.typeform.com/to/EZECRBTV?...
Survey COBOL 2025
Turn data collection into an experience with Typeform. Create beautiful online forms, surveys, quizzes, and so much more. Try it for FREE.
form.typeform.com
July 8, 2025 at 12:24 PM
Le secret de #GnuCOBOL ?

Il compile vers du C intermédiaire, puis utilise le compilateur C local.

Résultat :
✅ Portabilité maximale
✅ Moins de bugs
✅ Accès aux outils Unix/Linux
✅ Zéro souci de migration

Questionnaire COBOL France 2025 : form.typeform.com/to/NSuM9Z2r
July 4, 2025 at 12:28 PM