Who Uses Ocaml?

With its strong security features and high performance, several companies rely on OCaml to keep their data operating both safely and efficiently. On this page, you can get an overview of the companies in the community and learn more about how they use OCaml.

Other Industry Users of OCaml

With its strong security features and high performance, several companies rely on OCaml to keep their data operating both safely and efficiently. On this page, you can get an overview of the companies in the community and learn more about how they use OCaml.

If you want to contribute to add a new industrial user, check out the Contributing Guide on GitHub.

CACAOWEB logo

Cacaoweb is developing an application platform of a new kind. It runs on top of our peer-to-peer network, which happens to be one of the largest in the world

Sakhalin logo

Sakhalin develops marine charting apps for Apple iPads and iPhones.

Nomadic Labs logo

Nomadic Labs houses a team focused on Research and Development. Our core competencies are in programming language theory and practice, distributed systems, and formal verification.

ForAllSecure logo

ForAllSecure's mission is to test the world's software and provide actionable information to our customers.

Mount Sinai logo

The Hammer Lab at Mount Sinai develops and uses Ketrew for managing complex bioinformatics workflows.

Cryptosense logo

Cryptosense creates security analysis software with a particular focus on cryptographic systems

Matrix Lead logo

Matrix Lead provides professionals and companies with leading technologies and solutions for spreadsheets.

Digirati dba Hostnet logo

Digirati dba Hostnet is a web hosting company.

Solvuu logo

Solvuu's software allows users to store big and small data sets, share the data with collaborators, execute computationally intensive algorithms and workflows, and visualize results.

MEDIT logo

MEDIT develops SuMo, an advanced bioinformatic system, for the analysis of protein 3D structures and the identification of drug-design targets.

Dernier Cri logo

Dernier Cri is a French company based in Lille and Paris using functional programming to develop web and mobile applications.

Ahrefs logo

Ahrefs crawls the entire internet constantly to collect, process, and store data to build an all-in-one SEO toolkit.

Kong logo

Kong makes it easy to distribute, monetize, manage and consume cloud APIs.

Imandra Inc. logo

Imandra is the world leader in cloud-scale automated reasoning.

Psellos logo

Psellos is a small group of computer scientists who became intrigued by the idea of coding iOS apps in OCaml.

Coherent Graphics Ltd logo

Coherent Graphics is a developer of both server tools and desktop software for the processing of PDF documents

Mr. Number logo

Mr. Number started as a Silicon Valley startup and developed the Mr. Number app for call blocking, later acquired by WhitePages.

O(1) Labs logo

O(1) Labs is a global and remote company that incubated the Mina Protocol. Our team operates on the cutting edge of Web3 and zero-knowledge-proofs.

Incubaid logo

Incubaid has developed Arakoon, a distributed key-value store that guarantees consistency above anything else.

PRUDENT Technologies and Consulting, Inc. logo

Prudent Consulting offers IT solutions to large and mid-sized organizations by combining industry experience and technology expertise to help our customers achieve business goals with speed, agility, and great impact.

OCamlPro logo

OCamlPro develops and maintains a development environment for the OCaml language.

Wolfram MathCore logo

Wolfram MathCore uses OCaml to implement its SystemModeler kernel.

Docker, Inc. logo

Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere

4Sigma logo

4Sigma is an italian firm making web applications and solutions for the industrial automation sector.

Bloomberg L.P. logo

Bloomberg, the global business and financial information and news leader, gives influential decision makers a critical edge by connecting them to a dynamic network of information, people and ideas

Arena logo

Arena helps organizations hire the right people.

Issuu logo

Issuu is a digital publishing platform delivering exceptional reading experiences of magazines, catalogues, and newspapers

ANSSI logo

The ANSSI core missions are: to detect and react to cyber attacks, to prevent threats, to provide advice and support to governmental entities and operators of critical infrastructure, and to keep companies and the general public informed about information security threats

Zeo Agency logo

Zeo is a digital marketing company focused on helping companies to do better in SEO.

Dassault Systèmes logo

Dassault Systèmes, the 3DEXPERIENCE Company, provides businesses and people with virtual universes to imagine sustainable innovations.

Galois logo

Galois has developed a domain specific declarative language for cryptographic algorithms.

Functori logo

Functori is a R&D company created by experienced engineers in programming languages (particularly OCaml), formal verification (automated reasoning, model checking, ...), and blockchain technology (core, smart contracts and applications development).

LexiFi logo

LexiFi is an innovative provider of software applications and infrastructure technology for the capital markets industry.

American Museum of Natural History logo

The Computational Sciences Department at the AMNH has been using OCaml for almost a decade in their software package POY for phylogenetic inference

Facebook logo

Facebook has built a number of major development tools using OCaml

Jane Street logo

Jane Street is a quantitative trading firm that operates around the clock and around the globe

Shiro Games logo

Shiro Games is developing games using Haxe, a language built with a compiler written in OCaml.

SimCorp logo

Multi-asset platform to support investment decision-making and innovation.

Fasoo logo

Fasoo uses OCaml to develop a static analysis tool.

CEA logo

CEA is a French state company, member of the OCaml Consortium.

MyLife logo

MyLife has developed a powerful people search tool that will empower those in need to find anyone, regardless of years past and the life that was built in between.

Esterel Technologies logo

Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial and automotive domains

XenServer logo

XenServer is a world-class server virtualization system.

Kernelize logo

Kernelyze has developed a novel approximation of two-variable functions that achieves the smallest possible worst-case error among all rank-n approximations.

Sleekersoft logo

Specialises in functional programming software development, consultation, and training.

Be Sport logo

Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations

r2c logo

r2c is a VC-funded security company headquartered in San Francisco and distributed worldwide

Tarides logo

Tarides builds and maintains open-source infrastructure tools in OCaml like MirageOS, Irmin, and OCaml developer tools.

TrustInSoft logo

TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform.

Microsoft logo

Microsoft Corporation is an American multinational technology corporation which produces computer software, consumer electronics, personal computers, and related services.

Narrow Gate Logic logo

Narrow Gate Logic is a company using the OCaml language in business and non-business applications.