OCamlPro's Blog
OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust.
- Posts
- 10 from 9 Aug 2024 to 14 Sep 2026
- Posting
- now and then (2 in the last year)
- Kind
- company blog