Trending OCaml Projects

This page lists the top trending OCaml projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 15 Apr 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 50 Trending OCaml Projects

  • riot

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

  • soupault

    Static website generator based on HTML element tree rewriting

  • wasm_of_ocaml

  • hax

    A Rust verification tool

  • easycrypt

    EasyCrypt: Computer-Aided Cryptographic Proofs

  • eioio

    Effects-based direct-style IO for multicore OCaml

  • motoko

    Simple high-level language for writing Internet Computer canisters

  • ocurrent

    Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

  • melange

    A mixture of tooling combined to produce JavaScript from OCaml & Reason

  • domainslib

    Parallel Programming over Domains

  • mldoc

    Another Emacs Org-mode and Markdown parser.

  • austral

    Systems language with linear types and capability-based security.

  • saturn

    Lock-free data structures for multicore OCaml (by ocaml-multicore)

  • yojson

    Low-level JSON parsing and pretty-printing library for OCaml

  • Zarith

    The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

  • learn-ocaml-workshop

    Exercises and projects for Jane Street's OCaml Workshop

  • hardcaml

    Hardcaml is an OCaml library for designing hardware.

  • ocaml-lsp

    OCaml Language Server Protocol implementation

  • lem

    Lem semantic definition language (by rems-project)

  • alcotest

    A lightweight and colourful test framework

  • ppx_deriving

    Type-driven code generation for OCaml

  • ocaml-re

    Pure OCaml regular expressions, with support for Perl and POSIX-style strings

  • semgrep

    Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  • vult

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

  • GeneWeb

    GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

  • karamel

    KaRaMeL is a tool for extracting low-level F* programs to readable C code

  • incremental

    A library for incremental computations

  • owl

    Owl - OCaml Scientific Computing @ https://ocaml.xyz

  • binsec

    BINSEC binary-level open-source platform

  • 0install

    the core 0install package

  • base

    Standard library for OCaml (by janestreet)

  • liquidsoap

    Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.

  • coq-of-ocaml

    Formal verification for OCaml

  • dune

    A composable build system for OCaml.

  • ocaml5-tutorial

    A hands-on tutorial on the new parallelism features in OCaml 5

  • opam-monorepo

    Assemble dune workspaces to build your project and its dependencies as a whole

  • bap

    Binary Analysis Platform

  • mina

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

  • effects-examples

    Examples to illustrate the use of algebraic effects in Multicore OCaml

  • stanc3

    The Stan transpiler (from Stan to C++ and beyond).

  • parallel-programming-in-multicore-ocaml

    Tutorial on Multicore OCaml parallel programming with domainslib

  • ocaml

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

  • catala

    Programming language for literate programming law specification

  • ocamlformat

    Auto-formatter for OCaml code

  • ocaml-cohttp

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

  • angstrom

    Parser combinators built for speed and memory efficiency

  • supermin

    tool for creating supermin appliances (formerly called febootstrap). PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us. http://libguestfs.org

  • vscode-ocaml-platform

    Visual Studio Code extension for OCaml

  • coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  • bonsai

    A library for building dynamic webapps, using Js_of_ocaml

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.

Index

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

Project Growth
1 riot 24.6%
2 soupault 12.8%
3 wasm_of_ocaml 5.9%
4 hax 4.7%
5 easycrypt 4.7%
6 eioio 4.1%
7 motoko 3.8%
8 ocurrent 3.7%
9 melange 3.5%
10 domainslib 3.1%
11 mldoc 3.1%
12 austral 3.0%
13 saturn 2.9%
14 yojson 2.9%
15 Zarith 2.8%
16 learn-ocaml-workshop 2.7%
17 hardcaml 2.6%
18 ocaml-lsp 2.5%
19 lem 2.4%
20 alcotest 2.4%
21 ppx_deriving 2.3%
22 ocaml-re 2.2%
23 semgrep 2.2%
24 vult 2.1%
25 GeneWeb 2.1%
26 karamel 2.1%
27 incremental 2.0%
28 owl 2.0%
29 binsec 2.0%
30 0install 1.9%
31 base 1.9%
32 liquidsoap 1.8%
33 coq-of-ocaml 1.7%
34 dune 1.6%
35 ocaml5-tutorial 1.6%
36 opam-monorepo 1.5%
37 bap 1.5%
38 mina 1.5%
39 effects-examples 1.5%
40 stanc3 1.5%
41 parallel-programming-in-multicore-ocaml 1.5%
42 ocaml 1.4%
43 catala 1.4%
44 ocamlformat 1.3%
45 ocaml-cohttp 1.3%
46 angstrom 1.3%
47 supermin 1.2%
48 vscode-ocaml-platform 1.2%
49 coq 1.2%
50 bonsai 1.2%