Building functional systems

Get Started

Our products

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. Collaborate and develop innovative projects with us 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 appliances.

  • 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 and can help you in 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 computing and mobile platforms.

→ 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