At Tarides, we are dedicated to advancing the OCaml programming language by developing and maintaining a range of open-source tools and libraries. Our mission is to enhance OCaml's capabilities, support its community, and promote its adoption across various industries.
We contribute to several key areas within the OCaml ecosystem:
We focus on ensuring that the OCaml compiler retains its fine balance of ease of use, correctness, and performance while 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 groundbreaking code into mainline OCaml.
Our goal is to provide OCaml users with a set of high-quality, practical development tools backed by the latest research and innovation efforts. We develop and maintain core tools such as:
- VSCode: Editor extension for OCaml.
- Opam: OCaml package manager tool and plugins.
- Dune: OCaml build system.
- Merlin: Modern IDE for OCaml.
- Odoc: Documentation generator.
- OCamlformat: OCaml code formatter.
Since 2012, OCaml.org has been the central knowledge base for the community to connect, access resources, and get the latest OCaml news. We work with community contributors to maintain and develop the site, appealing to both new and experienced OCaml users.
MirageOS is an operating system that constructs unikernels for secure, high-performance applications across various cloud computing and mobile platforms.
We are also working on Irmin, a distributed database that leverages the same concepts as Git, offering version control for data in MirageOS unikernels. Irmin is designed to facilitate storage and synchronization needs in MirageOS environments, making it easier to build robust, reproducible systems; but it is also useful in other areas, such as blockchains.
We are dedicated to further developing MirageOS and supporting a thriving ecosystem of developers and users.
We welcome contributions from the community. Whether you're interested in improving existing projects, developing new tools, or enhancing documentation, your involvement is valuable. Please explore our repositories and feel free to open issues or submit pull requests.
Your support enables us to invest in language enhancements, maintain core tools and libraries, and foster a vibrant and inclusive OCaml community. To learn more about how you can support our open-source work, visit our GitHub Sponsors page 💖