Awesome Ocaml

Visual Studio Code

Adds static typing to JavaScript to improve developer productivity and code quality.

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

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

Native, lightweight modal code editor

The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

A very fast SIMD-first image comparison library (with nodejs API)

MirageOS is a library operating system that constructs unikernels

Binary Analysis Platform

Irmin is a distributed database that follows the same design principles as Git

A composable build system for OCaml.

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

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.

Context sensitive completion for OCaml in Vim and Emacs

cwe_checker finds vulnerable patterns in binary executables

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

Jane Street Capital's standard library overlay

Standard library for OCaml

Universal toplevel for OCaml

OCaml Language Server Protocol implementation

package.json workflow for native development with Reason/OCaml

Sinatra like web toolkit for OCaml

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

library and tools for accessing and modifying virtual machine disk images.

Effects-based direct-style IO for multicore OCaml

Auto-formatter for OCaml code

Parser combinators built for speed and memory efficiency

🏞 an OCaml compiler for an untyped lisp

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

Batteries Included project

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Type-driven code generation for OCaml

A lightweight and colourful test framework

A modern supercompiler for call-by-value functional languages

Testing, printing, coloring, and other tools to effectively write native Reason code.

OCaml bindings for PyTorch

Library for binding to C libraries using pure OCaml

Functional HTML scraping and rewriting with CSS in OCaml

QuickCheck inspired property-based testing for OCaml.

C Intermediate Language

A library for building dynamic webapps, using Js_of_ocaml.

Emacs OCaml mode

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

Pure OCaml Git format and protocol

The Xapi Project's XenAPI Server

Cooperative-threaded access to relational data

Static types for JSON APIs

Declarative definition of command line interfaces for OCaml

cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)

A Web Application for Learning OCaml