OCaml Ocaml

Open-source OCaml projects categorized as Ocaml

Top 23 OCaml Ocaml Projects

  • reason

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

    Project mention: Melange for React devs book, alpha release | news.ycombinator.com | 2024-02-27

    Hey HN, at Ahrefs we have been working on an online book that hopefully helps React developers get up and running with Melange, an OCaml to JavaScript compiler. You can read more about Melange here: https://melange.re/.

    There are still a few chapters that we'd like to add before considering it "complete", but it might be already helpful for some folks out there, that's why we decided to publish it early.

    The book uses Reason syntax to implement React components using ReasonReact components. You can read more about both in:


  • pyre-check

    Performant type-checking for python.

    Project mention: A Tale of Two Kitchens - Hypermodernizing Your Python Code Base | dev.to | 2023-11-12

    Pyre from Meta, pyright from Microsoft and PyType from Google provide additional assistance. They can 'infer' types based on code flow and existing types within the code.

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

  • google-drive-ocamlfuse

    FUSE filesystem over Google Drive

    Project mention: Obsidian didn't sync my files on Debian, any help? | /r/ObsidianMD | 2023-05-23

    I fixed the problem, it was due to the incorrect setup of the google drive. I followed this guide to set everything up from scratch and create the folder directly in Linux instead of constantly accessing the apparently "encrypted" cloud. If anyone ever runs into the same problem, I really hope this thread is helpful :D

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

  • mirage

    MirageOS is a library operating system that constructs unikernels

    Project mention: Gokrazy – Go Appliances | news.ycombinator.com | 2023-12-18

    Interesting, and thanks.

    I didn't know about those. I kind of thought you may have used MirageOS, which I had read about earlier. It is done in OCaml.


  • bap

    Binary Analysis Platform

  • mina

    Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)

  • LearnThisRepo.com

    Learn 300+ open source libraries for free using AI. LearnThisRepo lets you learn 300+ open source repos including Postgres, Langchain, VS Code, and more by chatting with them using AI!

  • merlin

    Context sensitive completion for OCaml in Vim and Emacs

  • dune

    A composable build system for OCaml.

    Project mention: Tagging OCaml packages | dev.to | 2023-12-31

    If you are using the dune build system, add the tag(s) to your dune-project file's package stanza. E.g.:

  • dream

    Tidy, feature-complete Web framework

  • opam

    opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

  • SATySFi

    A statically-typed, functional typesetting system

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


  • js_of_ocaml

    Compiler from OCaml to Javascript.

  • ocaml-multicore

    Multicore OCaml

  • lwt

    OCaml promises and concurrent I/O

    Project mention: Por que aprender OCaml? | dev.to | 2023-11-02
  • ocaml-cohttp

    An OCaml library for HTTP clients and servers using Lwt or Async

  • angstrom

    Parser combinators built for speed and memory efficiency

  • ocamlformat

    Auto-formatter for OCaml code

    Project mention: Topiary: A code formatting engine leveraging Tree-sitter | news.ycombinator.com | 2023-05-20

    It's ironic that just as the excellent https://github.com/ocaml-ppx/ocamlformat is seemingly closing in on 1.0 after ~4 years of development, here comes the implication that it's not good enough.

  • httpaf

    A high performance, memory efficient, and scalable web server written in OCaml

  • eioio

    Effects-based direct-style IO for multicore OCaml

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

    For 5.0+ you might want to look at https://github.com/ocaml-multicore/eio for how effects can make async much more pleasant

  • ocaml-containers

    A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

  • vult

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

  • WorkOS

    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.

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-02-27.

OCaml Ocaml related posts


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

Project Stars
1 reason 10,024
2 pyre-check 6,632
3 google-drive-ocamlfuse 5,316
4 ocaml 5,076
5 mirage 2,397
6 bap 1,940
7 mina 1,899
8 merlin 1,537
9 dune 1,504
10 dream 1,477
11 opam 1,172
12 SATySFi 1,135
13 caramel 1,028
14 js_of_ocaml 925
15 ocaml-multicore 762
16 lwt 677
17 ocaml-cohttp 674
18 angstrom 605
19 ocamlformat 590
20 httpaf 530
21 eioio 496
22 ocaml-containers 472
23 vult 465
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.