Tarides Logo
Orange camel, "OCaml Software Foundation" text.

Tarides is now a sponsor of the OCaml Software Foundation

Posted on Thu, 17 Sep 2020

Tarides is pleased to provide support for the OCaml Software Foundation, a non-profit foundation hosted by the Inria Foundation. The OCaml Software Foundation's mission is to promote the OCaml programming language and its ecosystem by supporting the growth of a diverse and international community of OCaml users.

Tarides develops secure-by-design solutions in which OCaml's memory and type-safety guarantees play a major role. Hence, most of the software development that is done at Tarides is in OCaml: for instance, MirageOS, a library operating system that constructs unikernels for secure, high-performance network applications; and Irmin, a library for building mergeable, branchable distributed data stores, with built-in snapshotting and support for a wide variety of storage backends.

Tarides is also very involved in the OCaml compiler development and OCaml developer tooling ecosystem: as active maintainers of the OCaml platform, Tarides is involved with most of the major OCaml developer tools, including opam, dune and merlin.

Open-Source Development

Tarides champions open-source development. We create and maintain key features of the OCaml language in collaboration with the OCaml community. To learn more about how you can support our open-source work, discover our page on GitHub.

Explore Commercial Opportunities

We are always happy to discuss commercial opportunities around OCaml. We provide core services, including training, tailor-made tools, and secure solutions. Tarides can help your teams realise their vision