OCaml Compiler

Open-source OCaml projects categorized as Compiler

Top 11 OCaml Compiler Projects

  1. ocaml

    The core OCaml system: compilers, runtime system, base libraries

    Project mention: Hedy: Textual Programming Made Easy | news.ycombinator.com | 2025-01-26

    Most recent I remember was in 2011: https://github.com/ocaml/ocaml/issues/5419

  2. Nutrient

    Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers. Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.

    Nutrient logo
  3. austral

    Systems language with linear types and capability-based security.

    Project mention: The Austral programming language. (linear types and capability security) | news.ycombinator.com | 2025-02-04
  4. caramel

    :candy: a functional language for building type-safe, scalable, and maintainable applications

    Project mention: I Hope Rust Does Not Oxidize Everything | news.ycombinator.com | 2024-07-16

    There is also:

    Purerl - Erlang backend for PureScript, a few folks are using this in production - https://github.com/purerl/purerl

    Caramel - Ocaml for Beam, seems dead - https://github.com/leostera/caramel

    and more probably dead projects at https://github.com/llaisdy/beam_languages

  5. js_of_ocaml

    Compiler from OCaml to Javascript.

  6. vult

    Vult is a transcompiler well suited to write high-performance DSP code

  7. mazeppa

    A modern supercompiler for call-by-value functional languages

    Project mention: Mazeppa: A modern supercompiler for call-by-value functional languages | news.ycombinator.com | 2024-07-12
  8. coq-of-ocaml

    Formal verification for OCaml

  9. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  10. ocaml-protoc

    A Protobuf Compiler for OCaml

  11. nqcc2

    Reference implementation for Writing a C Compiler

    Project mention: Book – Writing a C Compiler: Build a Real Programming Language from Scratch | news.ycombinator.com | 2024-08-15

    Weird that this is about building a C compiler[0] in OCaml. I expected the implementation language to also be C both for consistency but also because i'm willing to bet that there are more people who can read C than OCaml.

    [0] actually from the readme in the github repo[1] it seems to be a C subset, not all of C

    [1] https://github.com/nlsandler/nqcc2

  12. acutis

    A declarative, type-safe template language

  13. schmu

    programming with second class references

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

OCaml Compiler discussion

Log in or Post with

OCaml Compiler related posts

Index

What are some of the best open-source Compiler projects in OCaml? This list will help you:

# Project Stars
1 ocaml 5,632
2 austral 1,166
3 caramel 1,064
4 js_of_ocaml 983
5 vult 501
6 mazeppa 401
7 coq-of-ocaml 257
8 ocaml-protoc 180
9 nqcc2 135
10 acutis 25
11 schmu 23

Sponsored
Nutrient – The #1 PDF SDK Library, trusted by 10K+ developers
Other PDF SDKs promise a lot - then break. Laggy scrolling, poor mobile UX, tons of bugs, and lack of support cost you endless frustrations. Nutrient’s SDK handles billion-page workloads - so you don’t have to debug PDFs. Used by ~1 billion end users in more than 150 different countries.
www.nutrient.io

Did you know that OCaml is
the 41st most popular programming language
based on number of references?