OCaml Ocaml

Open-source OCaml projects categorized as Ocaml

Top 23 OCaml Ocaml Projects

  1. reason

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

    Project mention: How Jane Street accidentally built a better build system for OCaml | news.ycombinator.com | 2025-01-30
  2. 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
  3. pyre-check

    Performant type-checking for python.

    Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11

    Did you come across pyre in your search? MIT license and pretty fast.

    https://github.com/facebook/pyre-check

  4. google-drive-ocamlfuse

    FUSE filesystem over Google Drive

  5. ocaml

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

    Project mention: Hedy: Textual Programming Made Easy | news.ycombinator.com | 2025-01-26

    Most recent I remember was in 2011: https://github.com/ocaml/ocaml/issues/5419

  6. mirage

    MirageOS is a library operating system that constructs unikernels

    Project mention: Unfashionably secure: why we use isolated VMs | news.ycombinator.com | 2024-07-25

    > I actually wonder how much "overhead" a VM actually has. i.e. a linux kernel that doesn't do anything (say perhaps just boots to an init that mounts proc and every n seconds read in/prints out /proc/meminfo) how much memory would the kernel actually be using?

    You don't necessarily need to run a full operating system in your VM. See eg https://mirage.io/

  7. bap

    Binary Analysis Platform

  8. mina

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

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. irmin

    database git

  11. dune

    A composable build system for OCaml.

    Project mention: ABEND dump #15 | dev.to | 2025-01-24

    I’ve been writing some OCaml code lately and using dune as the build system.

  12. dream

    Tidy, feature-complete Web framework

  13. merlin

    Context sensitive completion for OCaml in Vim and Emacs

  14. opam

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

    Project mention: My first experience with OCaml | dev.to | 2024-09-19

    To start compiling/running our program we need to install the opam package manager, which also installs the OCaml compiler.

  15. SATySFi

    A statically-typed, functional typesetting system

  16. caramel

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

    Project mention: I Hope Rust Does Not Oxidize Everything | news.ycombinator.com | 2024-07-16

    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

  17. js_of_ocaml

    Compiler from OCaml to Javascript.

  18. lwt

    OCaml promises and concurrent I/O

    Project mention: Go is my hammer, and everything is a nail | news.ycombinator.com | 2024-08-12

    > Also, didn't OCaml have weak support for concurrency? Has that changed recently?

    OCaml has had Lwt for concurrent IO for long enough that it is now being deprecated in favor of Eio[1]:

    https://github.com/ocsigen/lwt

    [1] https://github.com/ocaml-multicore/eio

  19. ocaml-cohttp

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

  20. angstrom

    Parser combinators built for speed and memory efficiency

  21. ocamlformat

    Auto-formatter for OCaml code

  22. ocaml-graphql-server

    GraphQL servers in OCaml

    Project mention: A reckless introduction to Hindley-Milner type inference (2019) | news.ycombinator.com | 2024-06-25

    In the technique I showed, I am using a difflist to enumerate a set of HTTP POST form fields and their expected types. This difflist type is defined in such a way that one of its type parameters gets inferred as a function type which takes the decoded values in the correct order and returns a record containing the decoded form. Eg from Field.[int "id"; string "name"] we get a type parameter int -> string -> 'a, where 'a is the type of the final decoded form.

    This is the kind of real-world usage where difflists or heterogeneous lists shine. The same technique is used by this library to define type-safe GraphQL resolvers: https://github.com/andreas/ocaml-graphql-server

  23. riot

    An actor-model multi-core scheduler for OCaml 5 🐫 (by riot-ml)

    Project mention: Riot: An actor-model multi-core scheduler for OCaml 5 | news.ycombinator.com | 2024-08-25
  24. eioio

    Effects-based direct-style IO for multicore OCaml

    Project mention: Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml | news.ycombinator.com | 2024-03-20

    the actual project (Readme has some code samples): https://github.com/ocaml-multicore/eio

  25. httpaf

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

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
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 Ocaml discussion

Log in or Post with

OCaml Ocaml related posts

  • Tsonnet #5 - Pretty-printing JSON

    1 project | dev.to | 8 Feb 2025
  • Tsonnet #2 - Cram tests to the rescue

    5 projects | dev.to | 2 Feb 2025
  • Hedy: Textual Programming Made Easy

    6 projects | news.ycombinator.com | 26 Jan 2025
  • ABEND dump #15

    2 projects | dev.to | 24 Jan 2025
  • OCaml 5.3 Released

    1 project | news.ycombinator.com | 8 Jan 2025
  • Non-temporal store heuristics on the Apple M2

    1 project | news.ycombinator.com | 23 Dec 2024
  • Non-temporal store heuristics on the Apple M2

    1 project | news.ycombinator.com | 13 Dec 2024
  • A note from our sponsor - CodeRabbit
    coderabbit.ai | 8 Feb 2025
    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 →

Index

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

# Project Stars
1 reason 10,178
2 pyre-check 6,912
3 google-drive-ocamlfuse 5,642
4 ocaml 5,607
5 mirage 2,608
6 bap 2,093
7 mina 2,021
8 irmin 1,866
9 dune 1,688
10 dream 1,650
11 merlin 1,599
12 opam 1,273
13 SATySFi 1,191
14 caramel 1,064
15 js_of_ocaml 979
16 lwt 730
17 ocaml-cohttp 720
18 angstrom 666
19 ocamlformat 649
20 ocaml-graphql-server 622
21 riot 601
22 eioio 576
23 httpaf 539

Sponsored
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.ai

Did you know that OCaml is
the 41st most popular programming language
based on number of references?