Log in to Zulip

OCamlPro is a private R&D research lab, with a focus on programming languages, theory and practice, and around the following activities:

• OCaml programming language
• Rust programming language
• Cobol programming language
• Formal methods
• Certification for Commun Criteria EAL6+

OCamlPro has "agrément CIR", so R&D performed at OCamlPro gives a tax cut of 30%.