What Industry Leaders Say About OCaml
OCaml powers mission-critical systems for companies and helps them achieve their goals.
Who Uses OCaml?
With its strong security features and high performance, many companies rely on OCaml to keep their data operating both safely and efficiently.
TrustInSoft
TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform.
CEA
CEA is a French state company, member of the OCaml Consortium.
SimCorp
Multi-asset platform to support investment decision-making and innovation.
Docker, Inc.
Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere
Facebook has built a number of major development tools using OCaml
Bloomberg L.P.
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
TrustInSoft
TrustInSoft is a company that changes the rules in cybersecurity. TrustInSoft is the software publisher of the software analysis Frama-C platform.
CEA
CEA is a French state company, member of the OCaml Consortium.
SimCorp
Multi-asset platform to support investment decision-making and innovation.
Docker, Inc.
Docker provides an integrated technology suite that enables development and IT operations teams to build, ship, and run distributed applications anywhere
Facebook has built a number of major development tools using OCaml
Bloomberg L.P.
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
Testimonials
OCaml in Teaching and Research
With its deep mathematical roots, OCaml has always been a beacon of academic excellence. It is taught in universities around the world and has accrued an ever-growing body of research.