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
🦀 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
🚨OCamlPro recrute ! Rejoignez une équipe où #OCaml, #Rust et rigueur technique riment avec passion.

Postes ouverts :
- Chef·fe de projet Informatique & R&D
- Ingénieur·e R&D OCaml Senior
- Ingénieur·e R&D OCaml

📍 Paris | CDI | Temps plein
🔗 Tous les détails et candidatures ici : ocamlpro.com/jobs/
April 17, 2025 at 3:08 PM
🚀 Le projet Decysif se réunit chez @ocamlpro.bsky.social
pour avancer sur la sécurisation du langage Rust !
🔗 decysif.fr/fr/
💡 Sécurise votre code Rust est un enjeu ? Parlons-en !

Projet financé par
@bpifrance-officiel.bsky.social & @iledefrance.bsky.social
March 13, 2025 at 2:48 PM
🚀 Maîtrisez #Rust, le langage de la sécurité et de la performance.

📅 Nos prochaines sessions :
🔹 Débutant : 4-6 mars | 15-17 mai | 3-5 juin | 9-11 sept. | 4-6 nov.
🔹 Avancé 🚀 : 8-10 avril | 12-14 juin | 7-9 oct. | 9-11 déc.

🎯 Inscrivez-vous dès maintenant !
training.ocamlpro.com
February 18, 2025 at 3:36 PM
La Formation #Rust Avancée approche à grands pas : du 4 au 6 février 2025 ! Si vous voulez approfondir vos compétences et maîtriser les concepts clés de #Rust, c’est le moment pour vous inscrire !

🔗Lien d'inscription : training.ocamlpro.com/formation-ru...
January 29, 2025 at 5:06 PM