Companies using OCaml

“OCaml helps us to quickly adapt to changing market conditions, and go from prototypes to production systems with less effort ... Billions of dollars of transactions flow through our systems every day, so getting it right matters.” — Jane Street

Facebook has built a number of major development tools using OCaml. Hack is a compiler for a variant of PHP that aims to reconcile the fast development cycle of PHP with the discipline provided by static typing. Flow is a similar project that provides static type checking for Javascript. Both systems are highly responsive, parallel programs that can incorporate source code changes in real time. Pfff is a set of tools for code analysis, visualizations, and style-preserving source transformations, written in OCaml, but supporting many languages.

Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere. Their native applications for Mac and Windows, use OCaml code taken from the MirageOS library operating system project.

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. Bloomberg employs OCaml in a advanced financial derivatives risk management application delivered through its Bloomberg Professional service.

Citrix uses OCaml in XenServer, a world-class server
virtualization system. We also offer a full open-source variant
of XenServer called the Xen Cloud Platform, or XCP. Follow
along with our OCaml development at
github.com/xen-org.
This work was originally presented by Anil Madhavapeddy at
CUFP 2008. See his
abstract
and
slides.

Aesthetic Integration (AI) is a financial technology startup based in the City of London. AI's patent-pending formal verification technology is revolutionising the safety, stability and transparency of global financial markets.

Ahrefs develops custom distributed petabyte-scale storage and runs an internet-wide
crawler to collect the index of the whole Web. On top of that the company is building
various analytical services for end-users. OCaml is the main language of the Ahrefs backend,
which is currently processing up to 6 billion pages a day.
Ahrefs is a multinational team with roots from Ukraine and headquarters in Singapore.

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. See ANSII's GitHub page for some of its OCaml software.

Be Sport's mission is to enhance the value that sport brings to our lives with appropriate use of digital and social media innovations.
Be Sport is a 100% OCaml and OCsigen project, leveraged as the only building blocks to develop the platform.

Cacaoweb is a 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. The
capabilities of the platform are diverse and range from
multimedia streaming to social communication, offline storage
or data synchronisation. We design and implement massively
distributed data stores, programming languages, runtime
systems and parallel computation frameworks.

CloudFounders offers solutions for Data Center functionality. They use the Arakoon key/value store and have written an OCaml client for Seagate Kinetic devices. The Open vStorage Backend is also written in OCaml.

Coherent Graphics is a developer of both server tools and desktop software for the processing of PDF documents. We use OCaml as a general-purpose high level language, chosen for its expressiveness and speed.

Based in Paris, France, Cryptosense creates security analysis software with a particular focus on cryptographic systems. A spin-off of the institute for computer science research (Inria), Cryptosense’s founders combine more than 40 years experience in research and industry. Cryptosense provides its solutions to an international clientèle in particular in the financial, industrial and government sectors.

Digirati dba Hostnet is a web hosting company. We use OCaml mostly for internal systems programming and infrastructure services. We also have contributed with the community by releasing a few open source OCaml libraries.

Esper's software assists
assistants. In doing so, we save
the time of executives. We want to lead the way to a more
productive world with an assistant for every professional and
Esper for every assistant. We envision a future without
endless e-mail scheduling, without cognitive overload, and
where technology serves us, not distracts us. To accomplish
these goals, we're building a mobile/web suite that
streamlines communication between assistants and executives,
automates rote tasks, and shares information.

Flying Frog Consultancy Ltd. consult and write books and software on the use of OCaml in the context of scientific computing. OCaml excels in the niche of intrinsically complicated programs between large-scale, array-based programs written in languages such as HPF and small-scale, graphical programs written in languages such as Mathematica.

ForAllSecure's mission is to test the world's software and
provide actionable information to our customers. We have
started with Linux. Our mission with Linux is to test all
programs in current distributions, such as Debian, Ubuntu, and
Red Hat. With time, we will cover other platforms, such as
Mac, Windows, and mobile. In the mean time, we promise to do
one thing well.

Framtidsforum I&M sells ExcelEverywhere, which creates web pages that look and function the same as your MS Excel spreadsheet. JavaScript is used for calculation. Supports 140 Excel-functions. Typically used for expense report, survey, order forms, reservation forms, employment application, financial advisor, ROI. There are also versions that generate ASP, ASP.NET and JSP/Java code. The compiler is written using OCaml.

Incubaid has developed Arakoon, a distributed key-value store that guarantees consistency above anything else. We created Arakoon due to a lack of existing solutions fitting our requirements, and is available as Open Source software.

Issuu is a digital publishing platform delivering exceptional reading experiences of magazines, catalogues, and newspapers. Each month Issuu serves over 6 billion page views and 60 million users through their worldwide network. OCaml is used as part of the server-side systems, platforms, and web applications. The backend team is relatively small and the simplicity and scalability of both systems and processes are of vital importance.

Jane Street is a quantitative proprietary trading firm that operates around the clock and around the globe. They bring a deep understanding of markets, a scientific approach, and innovative technology to bear on the problem of trading profitably in the world's highly competitive financial markets. Jane Street is perhaps the largest commercial user of OCaml, and has attracted a very strong team of functional programmers. They use OCaml for everything, from research infrastructure to trading systems to operations and accounting systems. Jane Street has over 50 OCaml programmers and over a million lines of OCaml, powering a technology platform that trades billions of dollars every day. See the GitHub page for their open source software.

LexiFi is an innovative provider of software applications and infrastructure technology for the capital markets industry. LexiFi Apropos is powered by an original formalism for describing financial contracts, the result of a long-term research and development effort.

Mashape makes it easy to distribute, monetize, manage and consume cloud APIs. Mashape is building a world-class marketplace for cloud APIs driven by a passionate community of developers from all over the world as well as enterprise API management and analytics products. We use OCaml in our APIAnalytics product — as part of a mission-critical, lightweight HTTP proxy.

MEDIT develops SuMo, an advanced bioinformatic system for the analysis of protein 3D structures and the identification of drug-design targets. SuMo is written entirely in OCaml and provides interfaces to several commercial molecular-modelling packages.

MLstate is the creator of Opa: an open-source web development platform. It consists of a new programming language, a new web server, a new database and a new distributed execution engine, all of them tightly integrated to provide a great experience for web developers. Opa is concise, simple, concurrent, dynamically secure and secure out of the box. It is written mainly in OCaml and uses OCaml as an intermediate language for compilation.

The Hammer Lab at Mount Sinai develops and uses Ketrew
for managing complex bioinformatics workflows. Ketrew includes an embedded domain-specific language to simplify the specification of workflows and
an engine for the execution of workflows. Ketrew can be run as a command-line application or as a service.

Mr. Number started as a Silicon Valley startup and
developed the Mr. Number app for call blocking,
later acquired
by WhitePages.
OCaml is used on the server side as the glue between the
various third-party components and services.

OCamlPro develops and maintains a development environment for the OCaml language. They provide services for companies deciding to use OCaml. Among these services: trainings, necessary expertises, tools and libraries long-term support, and specific developments to their applicative domains.

Park and Eaton is a marketing and software consultant firm in Philadelphia. Offering a number of solutions including QA and security testing; redesigns for scalability and maintainability; and hardware options like digital signage, Park and Eaton specializes in OCaml web and desktop services.

Arena helps organizations hire the right people. We do that by applying big data and predictive analytics to the hiring process. This results in less turnover for our clients and less discrimination for individuals. We use OCaml for all of our backend development.

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.

Psellos is a small group of computer scientists who became intrigued by the idea of coding iOS apps in OCaml. It has worked out better than we expected (you can buy our apps in the iTunes App Store), and at least one other company sells apps built with our tools. Our most recent iOS cross compiler is derived from OCaml 4.00.0.

RunOrg provides non-profits and organizations with a private
intranet and public website using a SaaS model. The application
is written entirely in OCaml for two reasons: one is performance,
as OCaml generates fast binaries and supports elegant optimization
patterns. The other reason is that the flexible and powerful
compile-time type inference allows massive changes in the code
base without causing any bugs, effectively acting as a
compiler-generated unit testing suite. The software is powered
by an open source in-house web framework,
Ohm.

Sakhalin develops marine charting apps for Apple iPads and iPhones. The full featured apps display marine charts, GPS and onboard sensor data, Automatic Identification System, weather data, anchor monitoring, etc. The apps have a wide range of users, from occasional recreational boaters to professional river/harbor pilots that board large freighters. They are free to download and try (with a paid upgrade to enable all features). They are written almost entirely in Ocaml with a minor amount of glue to interface with IOS API's. Ocaml was chosen because it (1) enables the rapid development of extremely reliable and high performance software, (2) is a mature stable platform, and (3) has a wide range of libraries. It was made possible by the great work done by Psellos in porting OCaml to the Apple iOS platform. Feel free to contact Sakhalin if you have any questions about using OCaml on iOS.

Skylable's mission is to build a fast, robust and cost-effective object-storage solution for the Open-Source community and Enterprises. Skylable used OCaml for their LibreS3 product — an open source replacement for the Amazon S3 service, implementing (a subset of) the S3 REST API. It is written in a monadic style, currently using Lwt and Ocsigenserver as implementations.

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. Its initial focus is on genomics data, which has important implications for healthcare, agriculture, and fundamental research. Virtually all of Solvuu's software stack is implemented in OCaml.

StackHut are working to make developers lives easier by cutting the the amount of code they write; we want developers to spend more time writing core business-logic and less time thinking about infrastructure. The core platform, toolkit, and run-time are written in OCaml, interfacing with Linux containers and also Erlang on the distributed side.

4Sigma is a small firm making websites and some interesting web applications. OCaml is not the main language used but it is used here and there, particularly in a small server that is a key component of a service we offer our customers.

TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform. Our only moto is simple: make the formal methods accessible to the majority of software developers.

Vector Fabrics is a high-tech software company, developing tools for embedded multicore programming. Its technology and expertise is getting widespread recognition in the industry as being innovative and unique in their ability to address heterogeneous multicore application-specific silicon platforms. Due to the advanced nature of its tools, Vector Fabrics operates at the forefront of the next generation of embedded platforms for diverse markets ranging from supercomputers to automotive to cell phones.

Disclaimer

Appearance of a company's name here does not necessarily imply
endorsement by that company of OCaml or of the descriptions provided
here. Company representatives should contact us to have information about their company removed, modified, or added.