OCamlPro's Avatar

OCamlPro

@ocamlpro

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

30
Followers
7
Following
64
Posts
13.01.2025
Joined
Posts Following

Latest posts by OCamlPro @ocamlpro

Post image

📢Rust Paris 2026 – 3ᵉ édition

Le 9 juin 2026 – Jussieu, Paris
Partagez vos retours d’expérience #Rust en entreprise ! Déjà utilisateur ou curieux ? Cette journée est pour vous. Proposez votre talk avant le 19 mars event.systematic-paris-region.org/rustparis/

#RustLang #TechConference

03.03.2026 10:41 👍 1 🔁 0 💬 0 📌 0
Post image

Boostez vos compétences avec #Rust 🦀 grâce aux formations OCamlPro !

- Cas pratiques issus de projets réels
- Conçues par des experts
- Application directe en contexte industriel

Infos & inscriptions : training.ocamlpro.com

#RustLang #Programmation #TechTraining

02.03.2026 12:35 👍 1 🔁 0 💬 0 📌 0
Video thumbnail

🎄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.

23.12.2025 14:16 👍 0 🔁 0 💬 0 📌 0
Preview
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...

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é

18.12.2025 09:02 👍 2 🔁 1 💬 0 📌 0
Post image Post image Post image Post image

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.

16.12.2025 09:30 👍 1 🔁 0 💬 1 📌 0
Post image

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.

10.12.2025 14:15 👍 0 🔁 0 💬 0 📌 0
Post image

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

02.12.2025 09:12 👍 2 🔁 1 💬 0 📌 0
Post image

✨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.

25.11.2025 09:01 👍 1 🔁 0 💬 0 📌 0
Post image

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...

18.11.2025 09:44 👍 1 🔁 0 💬 0 📌 0
Post image

#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-...

06.11.2025 15:58 👍 2 🔁 0 💬 0 📌 0
Wasm Research Day 2025 – Léo Andrès
Wasm Research Day 2025 – Léo Andrès YouTube video by Carnegie Mellon Software and Societal Systems Dept

🌐 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

05.11.2025 10:54 👍 2 🔁 1 💬 0 📌 0
Formation Formation Rust Avancée OCamlPro diffuse son expertise des langages de programmation et des méthodes formelles au travers de nombreuses formations.

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...

21.01.2025 16:30 👍 3 🔁 2 💬 0 📌 0
Post image

🦀 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

28.10.2025 15:38 👍 2 🔁 0 💬 0 📌 0
Preview
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...

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

22.10.2025 14:42 👍 2 🔁 0 💬 0 📌 0
Preview
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

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-...

07.10.2025 09:33 👍 2 🔁 0 💬 0 📌 0
Preview
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...

🚀 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...

06.10.2025 10:11 👍 2 🔁 0 💬 0 📌 0
Post image

🦀 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

25.09.2025 13:33 👍 2 🔁 0 💬 0 📌 0

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.

18.09.2025 10:57 👍 2 🔁 0 💬 0 📌 0
Preview
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...

🆕 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...

17.09.2025 11:43 👍 3 🔁 0 💬 0 📌 0
Post image

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 !

11.09.2025 10:05 👍 5 🔁 2 💬 0 📌 0
Post image

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

19.08.2025 15:01 👍 2 🔁 0 💬 0 📌 0
Post image

🌞 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 !🏖️

01.08.2025 12:31 👍 2 🔁 0 💬 0 📌 0
Post image

📊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 !

18.07.2025 09:36 👍 2 🔁 0 💬 0 📌 0
Post image

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

17.07.2025 09:24 👍 3 🔁 1 💬 1 📌 0
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.

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

10.07.2025 13:05 👍 2 🔁 0 💬 0 📌 0
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.

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?...

08.07.2025 12:24 👍 2 🔁 0 💬 0 📌 0

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

04.07.2025 12:28 👍 2 🔁 0 💬 0 📌 0

Merci #RustParis2025 !🦀Quelle journée ! Des talks passionnants, belle énergie et échanges pointus autour de #Rust.
Revivez notre intervention lnkd.in/eV3s5Y8P

Merci aux équipes du Hub Cyber & Security Systematic
et Systematic Paris-Region pour l'organisation parfaite et à tous les sponsors !

27.06.2025 08:36 👍 2 🔁 0 💬 0 📌 0
Post image

Jour J - #RustParis2025 !

Retrouvez le programme complet sur rustparis.fr

Merci aux partenaires : 🥇OCamlPro et thalesgroup
🥈cenotelie, zettascale et techxbtogroup
et à Pole_Systematic et HubOpenSource pour l'organisation.

25.06.2025 08:20 👍 2 🔁 0 💬 0 📌 0
Post image

#RustParis2025 DEMAIN ! 100% retours industriels #Rust🦀
Programme : Embarqué, #Cybersécurité, Vérification formelle, Cloud #WebAssembly, OS

Merci aux sponsors : Gold
OCamlPro, thalesgroup
Silver : AdaCore, cenotelie, zettascaletech

Inscription : rustparis.fr

24.06.2025 10:10 👍 5 🔁 1 💬 0 📌 0