Tarides builds secure, high-performance software systems using OCaml and open-source technology. They offer development, consulting, and training services.