
OCamlPro
@ocamlpro
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
ID: 455627057
https://www.ocamlpro.com/ 05-01-2012 09:51:24
483 Tweet
1,1K Followers
78 Following

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 #COBOL #LogicielLibre #Modernisation






#RustParis2025 DEMAIN ! 100% retours industriels #Rust🦀 Programme : Embarqué, #Cybersécurité, Vérification formelle, Cloud #WebAssembly, OS Merci aux sponsors : Gold OCamlPro Thales Group Silver AdaCore | Ada/C/C++ tools for critical software Cénotélie ZettaScale Inscription : rustparis.fr


Jour J - #RustParis2025 ! Retrouvez le programme complet sur rustparis.fr Merci aux partenaires : 🥇OCamlPro Thales Group 🥈Cénotélie ZettaScale XBTO et à Pôle Systematic Hub Open Source Systematic Paris-Region pour l'organisation.






