Tarides Logo

Making Critical Systems Better

We help our clients build reliable, secure, and high-performance systems.

What We Offer

Expertise

We are OCaml experts with a long history of improving tooling, providing core maintenance, and developing new features in the OCaml open-source ecosystem. Alongside our partners in the community, we bring the language forward, combining an expressive syntax and strong type system with memory safety and the power of multicore programming. Some of the projects we have spearheaded include Irmin (a distributed database library), MirageOS (a library operating system that builds unikernels), Multicore OCaml, and Dune (a build system for OCaml).

Learn more about our innovative work

Consulting

Our clients come to us for expert advice and development services. This includes creating custom tools and libraries as well as improving and expanding existing ones. Our speciality areas include OCaml, cybersecurity, and open source development. Whether you have scalability problems, security concerns, or performance issues, we work with you to find a solution. For example, we’ve helped organizations optimize large-scale distributed systems and secure critical software infrastructures.

Discover how we can help transform your project

Training

We help teams learn and develop new skills with our courses, specialising in cybersecurity, OCaml, and functional programming. We understand that adopting new skillsets requires commitment, so our training is designed to streamline the process and ensure success. Your team will benefit from expert instructors and customisation options, tailoring the modules to suit your needs. Whether it’s implementing functional programming paradigms or securing systems against modern threats, we’re here to help.

Explore our courses today!

From the Blog

Our technical blog is your go-to resource for the latest trends, insights, and developments in the world of OCaml and beyond. From deep dives into innovative projects to practical tips and tutorials, you’ll find everything you need.

Open-Source Technologies

We collaborate with the open-source ecosystem through our libraries and tools, so we can help you with open-sourcing and maintaining your applications.

MirageOS is an OCaml library operating system that constructs unikernels for secure, high-performance network applications across a variety of cloud and edge computing.

Discover MirageOS

Irmin is an OCaml library for building mergeable, branchable distributed data stores, with built-in snapshotting and support for a wide variety of storage backends.

Discover Irmin

As active users of OCaml, we maintain a large set of core tools and libraries, and can offer long-term support on these. With our experience, we can also help you with open-sourcing and maintaining your projects.

Discover OCaml

Our Valued Customers

We appreciate the trust our customers place in us to deliver reliable and innovative solutions that meet their need.

Microsoft R&D
Jane Street
Thales
Tezos
CEA
Nomadic Labs
Solvuu
SHI International
Taurus
CFA Insta
Semgrep
Nitrokey
Bull
Hyper Systems
Bloomberg
Routine