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 17 Jan 2022.
» Get a weekly report « straight in your inbox. Every Friday.

Top 50 Trending OCaml Projects

  • austral

    Systems language with linear types

  • eioio

    Effects-based direct-style IO for multicore OCaml

  • motoko

    Simple high-level language for writing Internet Computer canisters

  • easycrypt

    EasyCrypt: Computer-Aided Cryptographic Proofs (by EasyCrypt)

  • jsoo-react

    js_of_ocaml bindings for ReactJS. Based on ReasonReact.

  • rescript-vscode

    Official VSCode plugin for ReScript

  • comby

    A tool for structural code search and replace that supports ~every language.

  • sedlex

    An OCaml lexer generator for Unicode

  • catala

    Programming language for literate programming law specification

  • vult

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

  • vscode-ocaml-platform

    Visual Studio Code extension for OCaml

  • stanc3

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

  • semgrep

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

  • hardcaml

    Hardcaml is an OCaml library for designing hardware.

  • syntax

    ReScript's syntax as a standalone repo. (by rescript-lang)

  • ocaml

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

  • soupault

    Static website generator based on HTML element tree rewriting

  • melange

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

  • cil

    C Intermediate Language

  • js_of_ocaml

    Compiler from OCaml to Javascript.

  • morbig

    A Static Parser for POSIX Shell

  • ocaml-multicore

    Multicore OCaml

  • angstrom

    Parser combinators built for speed and memory efficiency

  • GeneWeb

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

  • dark

    Client, backend, and services for Dark: https://darklang.com

  • effects-examples

    Examples to illustrate the use of algebraic effects in Multicore 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.

  • ocaml-lsp

    OCaml Language Server Protocol implementation

  • base

    Standard library for OCaml (by janestreet)

  • ppx_deriving

    Type-driven code generation for OCaml

  • liquidsoap

    Audio and video streaming language

  • dune

    A composable build system for OCaml.

  • redtt

    "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

  • caramel

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

  • verifast

    Research prototype tool for modular formal verification of C and Java programs

  • drom

    drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages. (by OCamlPro)

  • parallel-programming-in-multicore-ocaml

    Tutorial on Multicore OCaml parallel programming with domainslib

  • bap

    Binary Analysis Platform

  • kremlin

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

  • owl

    Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz

  • mirage

    MirageOS is a library operating system that constructs unikernels

  • infer

    A static analyzer for Java, C, C++, and Objective-C

  • lwt

    OCaml promises and concurrent I/O

  • ocaml-cohttp

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

  • pyre-check

    Performant type-checking for python.

  • rescript-compiler

    The compiler for ReScript.

  • opam

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

  • utop

    Universal toplevel for OCaml

  • ocamlformat

    Auto-formatter for OCaml code

  • httpaf

    A high performance, memory efficient, and scalable web server written in 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 austral 27.3%
2 eioio 21.8%
3 motoko 16.8%
4 easycrypt 9.1%
5 jsoo-react 5.4%
6 rescript-vscode 5.0%
7 comby 4.8%
8 sedlex 4.4%
9 catala 4.3%
10 vult 4.2%
11 vscode-ocaml-platform 4.1%
12 stanc3 3.8%
13 semgrep 3.6%
14 hardcaml 3.4%
15 syntax 3.4%
16 ocaml 3.3%
17 soupault 3.3%
18 melange 3.3%
19 cil 2.8%
20 js_of_ocaml 2.8%
21 morbig 2.8%
22 ocaml-multicore 2.7%
23 angstrom 2.5%
24 GeneWeb 2.5%
25 dark 2.3%
26 effects-examples 2.2%
27 coq 2.2%
28 ocaml-lsp 2.1%
29 base 1.9%
30 ppx_deriving 1.8%
31 liquidsoap 1.8%
32 dune 1.7%
33 redtt 1.7%
34 caramel 1.6%
35 verifast 1.6%
36 drom 1.5%
37 parallel-programming-in-multicore-ocaml 1.5%
38 bap 1.4%
39 kremlin 1.3%
40 owl 1.2%
41 mirage 1.2%
42 infer 1.1%
43 lwt 1.1%
44 ocaml-cohttp 1.1%
45 pyre-check 1.0%
46 rescript-compiler 1.0%
47 opam 1.0%
48 utop 1.0%
49 ocamlformat 0.9%
50 httpaf 0.8%