Log in Sign up

Log in to 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 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%.

Forgot your password? Sign up

Product

  • Home
  • Why Zulip
  • Features
  • Plans & pricing
  • Self-hosting
  • Desktop & mobile apps
  • Security
  • Integrations

Solutions

  • Business
  • Education
  • Research
  • Events and conferences
  • Open source projects
  • Communities

Customer stories

  • iDrift AS Company
  • Technical University of Munich
  • University of California San Diego
  • Lean theorem prover community
  • Asciidoctor open-source community
  • Rust language community

Accounts

  • Terms of Service
  • Privacy policy

For users

  • Getting started
  • Help center
  • Community chat
  • Contact support
  • Blog

For administrators

  • Setting up your organization
  • Installing a Zulip server
  • Upgrading a Zulip server
  • Modifying Zulip

For contributors

  • GitHub
  • Contributing to Zulip
  • Development community
  • Translation
  • REST API

About us

  • Team & History
  • Twitter
  • Jobs
  • Website attributions
  • Sponsor Zulip