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 & Rust advances programming languages
• Cobol tooling and migration
• Formal methods
• Certification for Commun Criteria EAL6+

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