OCamlPro
OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
@erikmartindorel.bsky.social
Assoc. prof. in CS (University of Toulouse, Lab. IRIT), free software maintainer. Teaching in @master-sdl.bsky.social (Software Engr. curriculum ⊂ MSc in CS). Using Rocq/OCaml/Elisp/Java/Python/Docker/Bash/Git. https://linktr.ee/erikmd
@muriel42.bsky.social
OCamlPro's CEO w. Fabrice Le Fessant, President & Founder. We are a powerful team of world-class IT experts. 3 business lines: 1/ Programming Languages Optimization & Design 2/ Security & Safety with Formal Methods 3/ Solving Technical Debt challenges.
@davdeclerck.bsky.social
Just because many people are wrong doesn't mean they are right
@flf.bsky.social
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app