OCaml

A functional-first language with strong static typing and performance comparable to C.

Who uses OCaml?

Companies

Ahrefs

Singapore

Marketing / AdTech

Aikido Security

Ghent, Belgium

Cybersecurity

Bloomberg

New York, NY, USA

FinTech

CertiK

New York, NY, USA

Blockchain / Web3

Citrix Systems

Fort Lauderdale, FL, USA

Enterprise SaaS

Cloud Software Group

San Francisco, CA, USA

Enterprise SaaSInformation Technology & Software

Dialo

Warsaw, Poland

AI / ML

Entelios

Munich, Germany

Energy / Climate Tech

Imandra

Austin, TX, USA

Software / AI & Formal Verification

Jane Street

New York, NY, USA

Financial Services

LexiFi

Paris, France

FinTech

Semgrep

San Francisco, CA, USA

Cybersecurity

Tarides

Paris, France

Information Technology & Software

Terrateam

Amsterdam, Netherlands

Cloud Infrastructure / DevOpsInformation Technology & Software

Research institutes

Commissariat à l'énergie atomique et aux énergies alternatives (CEA)

Paris, France

Energy / Climate TechResearch / Academia

Draper

Cambridge, MA, USA

Aerospace & Defense