Skip to content
@tarides

Tarides

Building Functional Systems

👋 Welcome to the Tarides GitHub Organization 👋

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.

Our Open-Source Projects

We contribute to several key areas within the OCaml ecosystem:

OCaml Compiler

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.

OCaml Platform

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.

OCaml.org

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

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.

Get Involved 🙌

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.

Support Our Work

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 💖

Popular repositories Loading

  1. opam-monorepo opam-monorepo Public

    Assemble dune workspaces to build your project and its dependencies as a whole

    OCaml 130 27

  2. dune-release dune-release Public

    Streamlining the release of dune packages to opam

    OCaml 114 37

  3. ocaml-platform-installer ocaml-platform-installer Public

    The best way for developers to write software in OCaml

    OCaml 61 8

  4. ocaml-jit ocaml-jit Public

    Just In Time compiler for OCaml native toplevel

    OCaml 55 8

  5. runtime_events_tools runtime_events_tools Public

    OCaml 48 11

  6. river river Public

    A planet (feed aggregator) for OCaml.

    OCaml 26 5

Repositories

Showing 10 of 44 repositories