Tarides

We are a deep-tech company headquartered in France, with operations in the UK and India, focused on building high-assurance, memory-safe software using OCaml and MirageOS unikernels. OCaml’s strong type system and functional paradigm help catch errors at compile time, making it ideal for developing robust, secure systems. MirageOS compiles applications into unikernels - lightweight, single-purpose virtual machines - for enhanced performance and minimal attack surface. These technologies power our secure, energy-efficient software tailored for IoT, edge computing, and critical digital infrastructure, especially in smart city environments. With over a decade of experience in open-source compiler technology, embedded systems, and cybersecurity, our solutions have been deployed in space, finance, and IoT sectors.