OCaml

Who uses OCaml?

Companies

• 🔹Ahrefs
• 🔹Aikido Security
• 🔹Bloomberg
• 🔹CertiK
• 🔹Citrix Systems
• 🔹Cloud Software Group
• 🔹Dialo
• 🔹Entelios
• 🔹Imandra
• 🔹Jane Street
• 🔹LexiFi
• 🔹Semgrep
• 🔹Terrateam

Research institutes

• 🔹Commissariat à l'énergie atomique et aux énergies alternatives (CEA)
• 🔹Draper
• 🔹Institut national de recherche en sciences et technologies du numérique (Inria)