Performant type-checking for python.

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

MirageOS is a library operating system that constructs unikernels

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

Binary Analysis Platform

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

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

Context sensitive completion for OCaml in Vim and Emacs

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

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

Jane Street Capital's standard library overlay

Connect processes into powerful data pipelines with a simple git-like filesystem interface

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

Sinatra like web toolkit for OCaml

OCaml promises and concurrent I/O

Multicore OCaml

Parser combinators built for speed and memory efficiency

Batteries Included project

A compile time transformation from JavaScript to OCaml, along with an OCaml implementation of the JavaScript builtin library.

Library for binding to C libraries using pure OCaml

Links: Linking Theory to Practice for the Web

Bamboo see https://github.com/cornellblockchain/bamboo

An OCaml kernel for Jupyter (IPython) notebook

OCaml project generator.

Cross-platform asynchronous I/O and system calls

Infrastructure for Reassembleable Disassembling and Transformation

Staged metaprogramming in stock OCaml

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

An OCaml generic virtual machine for microcontrollers

Error-recovering streaming HTML5 and XML parsers