🐫 🐫 🐫 Making OCaml Mainstream 🐫 🐫 🐫

We are dedicated to advancing OCaml, a powerful, memory-safe, programming language known for its expressive syntax and strong type system.

By sponsoring us, you are not only supporting the maintenance of essential OCaml tools and libraries but also contributing to the growth of a vibrant, inclusive community. Your sponsorship helps us push the boundaries of OCaml, making it more accessible and robust for developers worldwide.

We will use your donation to sustain projects that lack a direct, stable source of revenue. If successful, we will also use these funds to support individual contributors working with us on these projects or on the open-source projects we depend on.

Support Innovation in OCaml Development Today!

Your sponsorship enables us to maintain and enhance critical OCaml tools and libraries, foster community growth, and drive new innovations. Join our mission to make OCaml more accessible and robust.

Tarides has been supporting the development of OCaml for years. With your support, we would like to continue to do so. By supporting Tarides, you're directly contributing to:

• 🚀 Enhancing the language: Your 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 libraries: We 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 outreach: We’re committed to supporting the OCaml community through educational resources, documentation, and mentoring, fostering a vibrant and inclusive ecosystem.

Tarides Open Source Projects

We develop and maintain a range of free and open-source OCaml software and tooling.

Compiler and Language Tools

• OCaml Compiler: balance ease of use, correctness, and performance whilst allowing evolution to include new features. We have been the one driving the OCaml 5 release, with support from multicore and effect handlers. We are part of the core OCaml development team.
• js_of_ocaml and wasm_of_ocaml: run OCaml code in your browser.

Development Tools

• OCaml Platform: Core OCaml tools, including availability and compatibility with new compiler releases.
  • OCaml Platform VSCode extension: VS code editor extension.
  • Opam: OCaml package manager tool and plugins.
  • Dune: OCaml build system.
  • Merlin and ocaml-lsp-server: Modern IDE for OCaml.
  • Odoc: Documentation generator.
  • OCamlformat: OCaml code formatting.

Community and Infrastructure

• OCaml.org: The central knowledge base for the community to connect, access resources, and get the latest OCaml news.
• OCaml Instracture: maintenance of various bits of the OCaml.org and Opam infrastructure.
• opam-repository and related OCaml-CI and opam-repo-ci projects: maintenance of the growth and quality of the OCaml package ecosystem.

Advanced Projects

• Eio: A modern, effect-based IO library for OCaml, designed to provide a high-level, structured concurrency model.
• MirageOS: An operating system that constructs unikernels for secure, high-performance applications across various cloud computing and mobile platforms.
• Irmin: Distributed data stores based on distributed version-control systems.

Commercial Support

Are you curious about the innovative uses of OCaml? We’d love to share why satellite companies are considering OCaml and how it helps comply with the Cyber Resilience Act or generate safer AI code with large language models. Leading firms like Jane Street use OCaml for its robustness and efficiency in handling complex, mission-critical systems. OCaml is one of engineering’s best-kept secrets, and we’re excited to share these insights with you.

For specialized support, training, or custom development, we offer tailored commercial services to meet your needs. To learn more and discuss your requirements, please contact us.

Thank you for considering sponsorship and for your ongoing support of the OCaml community!