Tarides is available for work on private projects and creates unique, tailor-made tools that transform big ideas into production-ready systems. With our extensive experience of managing technical risk, we can quickly adapt complex code for unique purposes, to help you realise your vision.
We also partner with several commercial entities on open-source projects, a collaborative effort that benefits everyone, yielding results and important user feedback. Projects in this category create direct value for the companies that we collaborate with, as well as benefit the wider open-source ecosystem and the community by introducing tools and solutions, injecting the community with new resources and research.
Here are a few examples on how our customers are using OCaml and how Tarides was a key to their success.
Jane Street is a quantitative trading firm focussing on technology and collaborative problem solving, that uses OCaml as its primary development platform. We work closely with the Tooling and Compiler team at Jane Street to ensure that OCaml continues to serve their specific use-cases, and to future-proof the language and ecosystem, keeping us at the cutting edge. Our collaboration with Jane Street provides the opportunity to test OCaml features in a mission-critical context, resulting in valuable insights and feedback for the community. Joint projects include Dune, Merlin, and the research into modular implicits, Multicore and effects.
Tezos is an open-source, community governed, energy efficient blockchain network. The Tezos Protocol and codebase is written in OCaml, a large chunk of which comes from the MirageOS project. We’re working on developing new features for the storage backend for Irmin, which is carefully designed and optimised for high-performance, even in very large data deployments. This backend forms the storage subsystem of the Tezos blockchain. 2022 will see the release of OCaml 5.0, and we are upgrading the Irmin I/O layer to take advantage of the new Multicore runtime and modern kernel features for asynchronous I/O. These updates will be a key differentiator that will separate Tezos from other blockchains, making it a more attractive option for users.
Hyper is a technology provider in the agritech space, focusing on building an operating system tailored for high-performance sustainable agriculture such as indoor or vertical farms. They want to provide the scalable, flexible, and easy-to-use tools needed by the next generation of farming to facilitate data analysis, provide sensor analytics, and increase productivity. Tarides is collaborating with Hyper to build a scalable IoT platform that leverages the OCaml and MirageOS ecosystem. Our support will help Hyper bring the product to market faster whilst also contributing to the open-source IoT ecosystem for MirageOS and related projects.