Using OCaml and MirageOS to build NetHSM has been a game-changer for us. The reliability and security afforded by OCaml’s strong type system, combined with MirageOS’s unikernel approach, have allowed us to create a product that leads its niche in both trustworthiness and flexibility. Despite the challenges of working with a niche language, we’ve found that the benefits—especially the confidence that comes from a bug-free environment—far outweigh the drawbacks. NetHSM is a testament to the power of OCaml and MirageOS in building innovative and secure solutions.

Jan Suhr

Founder and CEO, Nitrokey

OCaml has been instrumental in the success of Terrateam. Its strong type system and performance capabilities have allowed us to build a scalable, high-performance platform with minimal resources. We’ve been able to develop and maintain our entire system with a lean team while ensuring rapid, error-free iterations. OCaml’s simplicity, reliability, and flexibility make it the perfect tool for building complex infrastructure solutions.

Malcolm Matalka

CTO, Terrateam.io

Using OCaml as a programming language to write software has many benefits. For instance, it is able to describe the source code in an easy and understandable manner. The fear of refactoring in the source code can be eased as well. OCaml has a mature and very evolving ecosystem, which is a large, supportive and friendly community.

Xavier Van de Woestyne

Software engineer, Marigold.

Originally I was going to program twttr in Python, C, & Ocaml. But, I got @florian who was a core contributor to Ruby on Rails.

Jack Dorsey

Founder, Twitter.

OCaml as the development environment acts as a very much trusted partner throughout the whole development process. As our requirements evolve, we change the implementation a lot, and this is where the language shines. Literally, I am not afraid to change others’ code when OCaml has my back!

Oleksiy Golovko

Backend Developer, Ahrefs.

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.

Yaron Minsky

CTO, Jane Street.

Thanks to the OCaml team, obviously, without such a beautiful yet practical language, this project would not exist. The original type system was inherited from it with lots of modifications to fit with JS ecosystem better.

Bob Zhang

Maintainer, ReScript.