Trending OCaml Projects

Top 50 Trending OCaml Projects

• riot

  1 476 8.4%

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

  

• hax

  2 141 7.8%

  A Rust verification tool

  

• saturn

  3 180 5.0%

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

  

• owi

  4 108 4.6%

  WebAssembly Swissknife

  

• austral

  5 1,076 3.3%

  Systems language with linear types and capability-based security.

  

• melange

  6 776 2.8%

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

  

• wasm_of_ocaml

  7 213 2.8%
  

• herdtools7

  8 199 2.5%

  The Herd toolsuite to deal with .cat memory models (version 7.xx)

  

• effects-examples

  9 415 2.4%

  Examples to illustrate the use of algebraic effects in Multicore OCaml

  

• cooltt

  10 213 2.3%

  😎TT

  

• vscode-ocaml-platform

  11 329 2.1%

  Visual Studio Code extension for OCaml

  

• coq-of-ocaml

  12 242 2.1%

  Formal verification for OCaml

  

• semgrep

  13 9,926 2.0%

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

  

• async

  14 197 2.0%

  Jane Street Capital's asynchronous execution library (by janestreet)

  

• easycrypt

  15 282 1.8%

  EasyCrypt: Computer-Aided Cryptographic Proofs

  

• sedlex

  16 233 1.7%

  An OCaml lexer generator for Unicode

  

• binsec

  17 310 1.6%

  BINSEC binary-level open-source platform

  

• eioio

  18 525 1.5%

  Effects-based direct-style IO for multicore OCaml

  

• ocaml-lsp

  19 726 1.5%

  OCaml Language Server Protocol implementation

  

• base

  20 826 1.5%

  Standard library for OCaml (by janestreet)

  

• ppx_expect

  21 138 1.4%

  Cram like framework for OCaml

  

• GeneWeb

  22 292 1.4%

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

  

• liquidsoap

  23 1,343 1.3%

  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.

  

• ocaml-re

  24 231 1.3%

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

  

• yojson

  25 318 1.3%

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

  

• opam

  26 1,201 1.2%

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

  

• domainslib

  27 163 1.2%

  Parallel Programming over Domains

  

• hardcaml

  28 620 1.1%

  Hardcaml is an OCaml library for designing hardware.

  

• sihl

  29 356 1.1%

  A modular functional web framework

  

• ppx_deriving

  30 446 1.1%

  Type-driven code generation for OCaml

  

• higher

  31 179 1.1%

  Higher-kinded programming in OCaml (by yallop)

  

• drom

  32 180 1.1%

  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.

  

• parallel-programming-in-multicore-ocaml

  33 278 1.1%

  Tutorial on Multicore OCaml parallel programming with domainslib

  

• coq

  34 4,658 1.1%

  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.

  

• vult

  35 480 1.0%

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

  

• dune

  36 1,552 1.0%

  A composable build system for OCaml.

  

• karamel

  37 388 1.0%

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

  

• motoko

  38 486 1.0%

  Simple high-level language for writing Internet Computer canisters

  

• lwt

  39 688 1.0%

  OCaml promises and concurrent I/O

  

• ocaml-cohttp

  40 691 1.0%

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

  

• owl

  41 1,190 1.0%

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

  

• mirage

  42 2,453 1.0%

  MirageOS is a library operating system that constructs unikernels

  

• ocaml

  43 5,212 1.0%

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

  

• bap

  44 2,000 1.0%

  Binary Analysis Platform

  

• catala

  45 1,935 0.9%

  Programming language for literate programming law specification

  

• ppx_let

  46 112 0.9%

  Monadic let-bindings

  

• cil

  47 343 0.9%

  C Intermediate Language

  

• bonsai

  48 347 0.9%

  A library for building dynamic webapps, using Js_of_ocaml

  

• mina

  49 1,954 0.8%

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

  

• magic-trace

  50 4,474 0.8%

  magic-trace collects and displays high-resolution traces of what a process is doing

  

Index