OCaml programming-language

Open-source OCaml projects categorized as programming-language

Top 9 OCaml programming-language Projects

programming-language
  1. reason

    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

    Project mention: A 10x Faster TypeScript | news.ycombinator.com | 2025-03-11

    OCaml and Haskell already have that nice type system (and even more nice). If OCaml's syntax bothers you, there is Reason [1] which is a different frontend to the same compiler suite.

    Also in this space is Gleam [2] which targets Erlang / OTP, if high concurrency and fault tolerance is your cup of tea.

    [1]: https://reasonml.github.io/

    [2]: https://gleam.run/

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  3. catala

    Programming language for literate programming law specification

    Project mention: MIT study explains why laws are written in an incomprehensible style | news.ycombinator.com | 2024-12-19
  4. SATySFi

    A statically-typed, functional typesetting system

  5. motoko

    Simple high-level language for writing Internet Computer canisters

  6. 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
  7. bamboo

    Bamboo see https://github.com/cornellblockchain/bamboo (by pirapira)

  8. prowl

    WIP stack language that uses regex for control flow

  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. RustScript2

    RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

  11. 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 programming-language discussion

Log in or Post with

OCaml programming-language related posts

Index

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

# Project Stars
1 reason 10,217
2 catala 2,058
3 SATySFi 1,199
4 motoko 544
5 mazeppa 407
6 bamboo 323
7 prowl 42
8 RustScript2 38
9 schmu 24

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com