Building Functional Systems

Using R&D to build more robust systems, we collaborate with the software industry and the OCaml community to develop offline-first solutions that address latency, security and privacy concerns found in cloud computing.

Get Started

We Provide

Secure-by-design

Secure-by-Design Applications

Build ready to use, secure-by-design applications for storage, communication, and security services. Deploy on virtual infrastructure or embedded devices.

Custom solutions

Custom Solutions

With our experience in distributed systems, programming languages, security and operating systems, we can help you to quickly build a solution tailored to your needs.

open-source & innovation

Open Source & Innovation

Our technology stack is fully open source. Come collaborate with us and help develop innovative projects within a large ecosystem of academic and industrial partners.

unikernel paris

Secure-by-Design Applications

Tarides offers long-term support of ready-to-use, open-source applications.

  • Secure communication servers (email, matrix, etc)
  • VPNs and Firewalls
  • Software-defined storage (Git, P2P)
  • Secure web hosting
→ See the QubeOS firewall use case
mirage os support paris

Custom Solutions

With our experience in distributed systems, security, and operating systems, we are building a system programming toolbox that can help deliver complex virtualisation, networking, and storage solutions very quickly.

  • Turn Internet RFCs into re-usable libraries
  • Compatible with all the major virtualisation platforms
  • Can target embedded hardware (ESP32, ARMv8, RISC-V)
→ See the Docker use case

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 logo

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 logo

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

OCaml logo

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.

Trusted By

Tezos
Tweag I/O
OCaml Labs
Solvuu
List CEA
Nomadic Labs
BPI France
i-Lab
Inria
i-Lab
NGI DAPSI