Making OCaml 5 Succeed for Developers and Organisations
Open Source & Innovation
Help us to advance OCaml’s capabilities, maintaining crucial tools, and fostering a thriving community
We are dedicated to advancing OCaml development, maintaining core tools and services, and increasing its adoption in as many industries as possible. With your generous support, we can continue to push the boundaries of OCaml, develop essential tools and libraries, and maintain the ecosystem to benefit the entire community.
- Enhancing the languageYour support enables us to invest in language enhancements, improvements and new features to make OCaml even more powerful and developer-friendly
- Maintaining core tools and librariesWe work hard to keep essential OCaml tools and workflows up-to-date and well-maintained, ensuring a stable foundation for OCaml projects of all sizes.
- Community support and outreachWe’re committed to supporting the OCaml community through educational resources, documentation, and mentoring, fostering a vibrant and inclusive ecosystem.
From the Blog
Read more about our open-source and community projects.
Compiler Hacking in Cambridge is Back!
Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
Tarides Open Source Projects
We develop and maintain a range of free and open-source OCaml software and tooling, including:
Our work focuses on ensuring that the OCaml compiler retains its fine balance of ease of use, correctness, and performance whilst still evolving to include new features. This includes developing new language-based tools for specification-based testing, fuzzing, and verification of OCaml code. In 2022, Tarides introduced Multicore support for shared-memory parallelism and concurrency to OCaml 5.0, bringing years of development, award-winning research and ground-breaking code in mainline OCaml.
We develop and maintain a number of core OCaml tools, ensuring their availability and compatibility with new compiler releases. Our goal is to ensure that OCaml users can rely on and have easy access to a set of high-quality, practical development tools backed by the latest research and innovation efforts. We aim to unify the installation process of platform tools, document the recommended tooling workflows, sync regular releases with the OCaml compiler, migrate existing workflows to the platform, and provide deprecation timelines for older tools
Since 2012, OCaml.org has been the central knowledge base for the community to connect, access resources, and get the latest OCaml news. Tarides is working with community contributors to maintain and develop the site so that it appeals to both new and experienced OCaml users.
MirageOS: Designing a More Resilient Networking Stack With µTCP
Irmin in the Browser
WebAssembly Support for OCaml: Introducing Wasm_of_Ocaml
MirageOS is an operating system that constructs unikernels for secure, high-performance applications across various cloud computing and mobile platforms. Unikernels are fully standalone and specialised and can run on the Xen and KVM hypervisors, on lightweight hypervisors like FreeBSD’s BHyve and OpenBSD’s VMM, and bare metal. The groundbreaking technology behind unikernels has received multiple awards and led to the creation of Unikernel Systems, later acquired by Docker. Tarides is dedicated to further developing MirageOS and supporting a thriving ecosystem of developers and users.
Irmin is a library for creating distributed data stores based on distributed version-control systems. It offers Git-like functions and customisation options for data types, storage layers, and behaviours. As part of the OCaml ecosystem, Irmin comes with all the guarantees of a secure-by-design approach and offers additional security via encryption, specialised data structures, and compatibility with MirageOS. It is used in projects requiring auditability, security, and scalability, such as the Tezos blockchain.