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. Learn more →
Top 11 OCaml Compiler Projects
-
Most recent I remember was in 2011: https://github.com/ocaml/ocaml/issues/5419
-
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.
-
Project mention: The Austral programming language. (linear types and capability security) | news.ycombinator.com | 2025-02-04
-
caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
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
-
-
-
Project mention: Mazeppa: A modern supercompiler for call-by-value functional languages | news.ycombinator.com | 2024-07-12
-
-
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.
-
-
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
-
-
OCaml Compiler discussion
OCaml Compiler related posts
-
The Austral programming language. (linear types and capability security)
-
Hedy: Textual Programming Made Easy
-
OCaml 5.3 Released
-
Non-temporal store heuristics on the Apple M2
-
Non-temporal store heuristics on the Apple M2
-
Non-temporal store heuristics on the Apple M2
-
OCaml Syntax Sucks
-
A note from our sponsor - CodeRabbit
coderabbit.ai | 19 Feb 2025
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 |