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
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
🦀 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
🦀 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
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
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
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
Des systèmes critiques en #OpenSource ? Oui, avec #GnuCOBOL
Déjà en prod dans des banques… et à la Direction générale des Finances publiques.

Reprenez le contrôle sur vos systèmes legacy.

📊Donnez votre avis sur l’usage de COBOL en France : lnkd.in/eH8_6UuZ
May 28, 2025 at 1:52 PM
Comment Rust transforme-t-il le dev logiciel industriel ?
Venez en parler à #RustParis2025 le 25 juin !
OCamlPro co-organise avec thalesgroup (sponsor Gold).

Talks : systèmes embarqués, #cybersécurité, #WebAssembly, vérification formelle et la certification, e cloud via #WebAssembly
🎟️ rustparis.fr
May 26, 2025 at 3:43 PM
🚀Nouveau sur le blog OCamlPro : Opam 103 – Starting a new project

Envie de lancer un projet #OCaml sans galérer ? On vous guide pas à pas : outils, structures, tests, .opam.
L'article au complet : ocamlpro.com/blog/2025_04...

#OpenSource #Rust #WebAssembly #Dev
May 22, 2025 at 11:29 AM
#COBOL : maintenir, migrer… ou repenser ?
Chez OCamlPro, on explore une 3ᵉ voie avec #GnuCOBOL :

✅ Garder le code
✅ Supprimer les licences
✅ S’exécuter sur PC, cloud, containers
✅ Se libérer des dépendances

On mène une étude sur COBOL en 2025 :
form.typeform.com/to/NSuM9Z2r#...
May 20, 2025 at 10:08 AM
#COBOL, lisible… mais complexe !
OCamlPro lance SuperBOL Studio : outils #opensource pour #COBOL dans #VSCode. Coloration, complétion, diagnostics, tests… et plus !

Vos devs COBOL ont des besoins spécifiques ? On adapte
SuperBOL Studio à vos cas les plus complexes.
May 16, 2025 at 2:02 PM
La Communauté Du COBOL & OCamlPro lancent un questionnaire pour mieux comprendre les usages réels du #COBOL en 2025, et les défis concrets de celles et ceux qui le font vivre. Participez en quelques minutes : form.typeform.com/to/NSuM9Z2r
May 6, 2025 at 10:35 AM
Formations #Rust 2025 – Montez en compétence avec un langage sûr, rapide et moderne ! Débutant ou confirmé ? Nos experts vous accompagnent.
Prochaines #sessions :
Débutant → 13-15 mai, 3-5 juin, 9-11 sept, 4-6 nov
Avancé → 12-14 juin, 7-9 oct, 9-11 déc

🔗 training.ocamlpro.com
May 5, 2025 at 3:46 PM
#COBOL est partout, mais ses usages réels restent méconnus. La Communauté du COBOL & OCamlPro
lancent une grande enquête sur COBOL en 2025 !
Vous codez, formez ou travaillez avec COBOL ? Votre témoignage compte.
📋 Répondez avant le 30 juin : form.typeform.com/to/NSuM9Z2r
April 28, 2025 at 10:08 AM