OCaml Compiler

Open-source OCaml projects categorized as Compiler

Top 8 OCaml Compiler Projects

  • rescript-compiler

    The compiler for ReScript.

    Project mention: Help a Kotlin convert back into Scala world | reddit.com/r/scala | 2023-01-29
  • ocaml

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

    Project mention: How do I start contributing to OCaml? | reddit.com/r/ocaml | 2023-01-12

    I believe that u/octachron is interested in getting help refactoring the error-reporting logic in the compiler to produce more structured formats (typically JSON). There is an old PR from him about it, https://github.com/ocaml/ocaml/pull/9979 , and we want to revive it but maybe do things slightly different. If that sounds like something you would be interested in, you could just send him an email or pm.

  • SonarLint

    Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  • caramel

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

  • js_of_ocaml

    Compiler from OCaml to Javascript.

  • austral

    Systems language with linear types and capability-based security.

    Project mention: Borrow checker for Zig? | reddit.com/r/Zig | 2023-01-14

    there are other languages simpler than rust which have similar functionality to the borrow checker. see e.g. https://austral-lang.org/

  • vult

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

  • coq-of-ocaml

    Formal verification for OCaml

    Project mention: What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for? | reddit.com/r/rust | 2022-06-08

    Coq of OCaml is a good example of how I want it to be for rust

  • InfluxDB

    Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  • schmu

    A WIP programming language inspired by ML and powered by LLVM

    Project mention: November 2022 monthly "What are you working on?" thread | reddit.com/r/ProgrammingLanguages | 2022-11-03

    Since the last time I posted, I finished implementing pattern matching for schmu. To make matching on multiple columns less confusing I also added a tuple syntax to the language (finally), which are treated as anonymous records in codegen. Since then, I'm trying to overhaul my memory management, as my RAII-like solution only worked for linear code. In my first big departure from OCaml semantics, I decided to implement mutable value semantics. The paper linked in the Val language introduction makes a strong case for value semantics and after watching a couple of talks by Dave Abrahams, I wanted to try see how it feels. By making mutability be transitive and explicit, it also fixes one of the (few) gripes I have with OCaml that an array can never be really const as it is a reference type (it's possible to enforce constness with modules, but that's not exactly lightweight, syntax wise). Implementing mutable value semantics was pretty straight forward on the typing side, but I'm still not completely done with the codegen. This is due to 1. Assumptions about immutability I made in a lot of places are now wrong, and I had to completely change the way I pass values to functions. 2. I had to implement reference counted arrays, which was more work than I thought it would be. There are still edge-cases coming up in testing from time to time. Yesterday I finally managed it work for tail recursion, yay! I'm looking forward to getting rid of unneeded reference count updates in the future, by moving them to compile time, at least for linear code, lobster style. That's also an excuse to read that Perceus paper again. For the rest of November, I want to enhance my module system a bit. In particular, I want to add signatures and allow locally abstract types. I hope to have this in place before December to do the Advent of Code in my language.

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). The latest post mention was on 2023-01-29.

OCaml Compiler related posts


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

Project Stars
1 rescript-compiler 6,044
2 ocaml 4,262
3 caramel 982
4 js_of_ocaml 814
5 austral 527
6 vult 377
7 coq-of-ocaml 198
8 schmu 19
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives