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
#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
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 !
June 27, 2025 at 8:36 AM
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.
June 25, 2025 at 8:20 AM
#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
June 24, 2025 at 10:11 AM
OCamlPro au séminaire Dagstuhl WebAssembly (9-13 juin).

Présentation d'Owi et échanges avec les leaders de l'écosystème #Wasm : Google, fastly, Siemens, Microsoft, dfinity. Une semaine d'innovation collaborative sur l'avenir des sémantiques Wasm !

🔗 dagstuhl.de/seminars/sem...
Dagstuhl Seminar 25241: Utilising and Scaling the WebAssembly Semantics
dagstuhl.de
June 19, 2025 at 4:12 PM
Formations #Rust 2025 !

Prochaines sessions :
Rust Débutant : 9 - 11 sept
Rust Avancé : 7 - 9 octobre

Sécurité mémoire + performances exceptionnelles = le combo gagnant

👉 Inscriptions :
training.ocamlpro.com/formation-ru...

#RustLang #Dev #Formation
June 11, 2025 at 2:52 PM
Chez OCamlPro, l’équipe SuperBOL et Clever Cloud ont migré 2 applis #COBOL + #CICS (~20k lignes) vers le cloud (PC/Linux).
Résultat : traitement en ligne, PostgreSQL, infra cloud-native avec #GnuCOBOL.

La preuve que COBOL peut se moderniser.

📰En savoir plus : superbol.eu/blog/ocamlpr...
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
June 4, 2025 at 2:18 PM
#Programming2025 démarre à Prague !

L’équipe OCamlPro est sur place du 2 au 6 juin.🎤 Ne ratez pas la présentation de Léo Andres sur #Owi, notre projet #Wasm !

🔗Infos & programme : 2025.programming-conference.org
💻 Découvrir Owi : github.com/ocamlpro/owi
‹Programming› 2025
The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks ...
2025.programming-conference.org
June 2, 2025 at 9:43 AM