
OCamlPro
@OCamlPro
Followers
2K
Following
382
Media
87
Statuses
529
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
France
Joined January 2012
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 : https://t.co/FWBBKyvAtf
meetup.com
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
0
0
3
🚀 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 : https://t.co/JOdEJPCXhS
1
1
4
🦀 Formations #Rust Développez votre expertise dans l'un des langages les plus prometteurs. Sessions : Rust Avancé → 7-9 oct Rust Débutant → 4-6 nov Inscriptions : https://t.co/s31t3j1sS5
@Pole_Systematic @financeinnov @franceinno
0
2
3
🆕 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 : https://t.co/OFySjUczvs...
0
1
3
🚀 La conf #Rust in Paris 2025 est en ligne ! Arthur vous emmène dans les coulisses du panic! en Rust avec son talk : 🎙️ "What Happens When You Start Panicking" 📺 https://t.co/cMmq0n5SxK
#FunctionalProgramming #SystemsProgramming #RustLang
0
0
3
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 : https://t.co/N6FZ0zkpdr
1
2
3
@OCamlPro prendra part à la 28ᵉ édition de la Conference on Theory and Applications of Satisfiability Testing (SAT 2025), qui se tiendra du 12 au 15 août 2025 à Glasgow, Écosse. https://t.co/nYaYBVXmqQ
https://t.co/E77Pvv8leZ
@Pole_Systematic I @financeinnov
@Fr_Innovation
satisfiability.org
The official site for the SAT 2025 conference
0
0
3
🌞 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 𝑎𝑜𝑢̂𝑡 𝑖𝑛𝑐𝑙𝑢𝑠. Excellent été à toutes et à tous !🏖️
0
1
4
📊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. https://t.co/rJ7KuUqqQE Merci pour votre participation !
0
0
4
RENTRÉE TECH : Formations #Rust 2025 L'été, c'est le moment parfait pour planifier votre montée en compétences ! Prochaines sessions : Rust Débutant : 9-11 septembre Rust Avancé : 7-9 octobre Inscriptions : https://t.co/s31t3j0V2x
#FormationRust #OCamlPro
0
2
3
@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 here:
form.typeform.com
Turn data collection into an experience with Typeform. Create beautiful online forms, surveys, quizzes, and so much more. Try it for FREE.
0
1
3
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 : https://t.co/KING0O4Xoh
0
0
3
0
0
3
Merci #RustParis2025 !🦀Quelle journée ! Des talks passionnants, belle énergie et échanges pointus autour de #Rust. Revivez notre intervention https://t.co/UpOck32VtQ Merci aux organisateurs @HubOpenSource et @Pole_Systematic et à tous les sponsors !
1
0
4
Jour J - #RustParis2025 ! Retrouvez le programme complet sur https://t.co/DY8UKfAN9a Merci aux partenaires : 🥇@OCamlPro @thalesgroup 🥈@cenotelie @zettascaletech @xbtogroup et à @Pole_Systematic @HubOpenSource pour l'organisation.
0
1
7