OCaml Compiler

Open-source OCaml projects categorized as Compiler

Top 10 OCaml Compiler Projects

  • rescript-compiler

    The compiler for ReScript.

    Project mention: ReScript: Rust like features for JavaScript | dev.to | 2024-01-18

    ReScript is "Fast, Simple, Fully Typed JavaScript from the Future". What that means is that ReScript has a lightning fast compiler, an easy to learn JS like syntax, strong static types, with amazing features like pattern matching and variant types. Until 2020 it was called "BuckleScript" and is closely related to ReasonML.

  • ocaml

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

    Project mention: OCaml: a Rust developer's first impressions | news.ycombinator.com | 2023-11-12

    > It partially helps since it forces you to have types where they matters most: exported functions

    But the problém the OP has is not knowing the types when reading the source (in the .ml file).

    > How would it feels like to use list if only https://github.com/ocaml/ocaml/blob/trunk/stdlib/list.ml was available,

    If the signature where in the source file (which you can do in OCaml too), there would be no problem - which is what all the other (for some definition of "other") languages except C and C++ (even Fortran) do.

    No, really, I can't see a single advantage of separate .mli files at all. The real problém is that the documentation is often worse too, as the .mli is autogenerated and documented afterwards - and now changes made later in the sources need to be documented in the mli too, so anything that doesn't change the type often gets lost. The same happens in C and C++ with header files.

  • Onboard AI

    ChatGPT with full context of any GitHub repo. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at app.getonboardai.com.

  • caramel

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

    Project mention: Gleam | news.ycombinator.com | 2023-11-07

    Caramel is a very similar language (ML dialect) that builds for BEAM.


  • austral

    Systems language with linear types and capability-based security.

    Project mention: Modern Pascal is still in the race (2022) | news.ycombinator.com | 2023-10-11

    > But these days folks are mostly used to the C style syntax.

    Mostly, but I'm told the new Austral[1] language has syntax very similar to that of Pascal's.

    1: https://austral-lang.org/

  • js_of_ocaml

    Compiler from OCaml to Javascript.

  • vult

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

  • coq-of-ocaml

    Formal verification for OCaml

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  • ocaml-protoc

    A Protobuf Compiler for OCaml

    Project mention: OCaml, Python and protobuf | dev.to | 2023-10-17

    To start, we'll install the open source protobuf compiler, ocaml-protoc. We'll use this for the OCaml project, which is where we'll start. The project tree structure will look like this.

  • schmu

    A WIP programming language inspired by ML and powered by LLVM

  • acutis

    A declarative, type-safe template 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 2024-01-18.

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,365
2 ocaml 5,072
3 caramel 1,026
4 austral 990
5 js_of_ocaml 926
6 vult 465
7 coq-of-ocaml 233
8 ocaml-protoc 170
9 schmu 24
10 acutis 20
The modern API for authentication & user identity.
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.