Sign up for Zulip

OCamlPro
https://chat.ocaml.pro

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%.

You need an invitation to join this organization.