Trending OCaml Projects

Top 50 Trending OCaml Projects

• riot

  1 428 26.2%

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

  

• soupault

  2 359 13.1%

  Static website generator based on HTML element tree rewriting

  

• wasm_of_ocaml

  3 205 5.9%
  

• hax

  4 127 4.7%

  A Rust verification tool

  

• easycrypt

  5 277 4.7%

  EasyCrypt: Computer-Aided Cryptographic Proofs

  

• Zarith

  6 220 4.1%

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

  

• eioio

  7 517 4.1%

  Effects-based direct-style IO for multicore OCaml

  

• motoko

  8 480 3.8%

  Simple high-level language for writing Internet Computer canisters

  

• ocurrent

  9 135 3.7%

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

  

• austral

  10 1,032 3.6%

  Systems language with linear types and capability-based security.

  

• melange

  11 752 3.5%

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

  

• domainslib

  12 161 3.1%

  Parallel Programming over Domains

  

• mldoc

  13 227 3.1%

  Another Emacs Org-mode and Markdown parser.

  

• binsec

  14 304 3.0%

  BINSEC binary-level open-source platform

  

• saturn

  15 171 2.9%

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

  

• yojson

  16 313 2.9%

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

  

• learn-ocaml-workshop

  17 525 2.7%

  Exercises and projects for Jane Street's OCaml Workshop

  

• hardcaml

  18 611 2.6%

  Hardcaml is an OCaml library for designing hardware.

  

• ocaml-lsp

  19 713 2.5%

  OCaml Language Server Protocol implementation

  

• alcotest

  20 420 2.4%

  A lightweight and colourful test framework

  

• ppx_deriving

  21 441 2.3%

  Type-driven code generation for OCaml

  

• ocaml-re

  22 225 2.2%

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

  

• semgrep

  23 9,688 2.2%

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

  

• vult

  24 475 2.1%

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

  

• GeneWeb

  25 288 2.1%

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

  

• karamel

  26 384 2.1%

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

  

• bonsai

  27 343 2.0%

  A library for building dynamic webapps, using Js_of_ocaml

  

• incremental

  28 835 2.0%

  A library for incremental computations

  

• owl

  29 1,179 2.0%

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

  

• mina

  30 1,936 1.9%

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

  

• 0install

  31 478 1.9%

  the core 0install package

  

• base

  32 809 1.9%

  Standard library for OCaml (by janestreet)

  

• liquidsoap

  33 1,325 1.8%

  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.

  

• bap

  34 1,975 1.8%

  Binary Analysis Platform

  

• coq-of-ocaml

  35 237 1.7%

  Formal verification for OCaml

  

• dune

  36 1,529 1.6%

  A composable build system for OCaml.

  

• lem

  37 123 1.6%

  Lem semantic definition language (by rems-project)

  

• ocaml5-tutorial

  38 193 1.6%

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

  

• ocaml

  39 5,156 1.6%

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

  

• opam-monorepo

  40 130 1.5%

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

  

• effects-examples

  41 405 1.5%

  Examples to illustrate the use of algebraic effects in Multicore OCaml

  

• stanc3

  42 136 1.5%

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

  

• ocaml-cohttp

  43 684 1.5%

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

  

• parallel-programming-in-multicore-ocaml

  44 275 1.5%

  Tutorial on Multicore OCaml parallel programming with domainslib

  

• coq

  45 4,602 1.4%

  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.

  

• catala

  46 1,907 1.4%

  Programming language for literate programming law specification

  

• ocamlformat

  47 598 1.3%

  Auto-formatter for OCaml code

  

• angstrom

  48 613 1.3%

  Parser combinators built for speed and memory efficiency

  

• rescript-compiler

  49 6,453 1.3%

  The compiler for ReScript.

  

• vscode-ocaml-platform

  50 322 1.2%

  Visual Studio Code extension for OCaml

  

Index