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

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

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 environmen…

MirageOS is a library operating system that constructs unikernels

A composable build system for OCaml.

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

V2 of Real World OCaml

Jane Street Capital's standard library overlay

Standard library for OCaml

A library for incremental computations

A library for building dynamic webapps, using Js_of_ocaml

A library for building dynamic webapps, using Js_of_ocaml.

Cooperative-threaded access to relational data

Modern scientific computing for OCaml

Spartan type theory

A Mirage firewall VM for QubesOS

Automated S-expression conversion

Petrol's an OCaml SQL API made to go FAST.

Extended Standard Library for OCaml

OCaml plus Jane Street extensions

An Activitypub server in OCaml!

Examples and Exercises for the book "More OCaml"

TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)

MirageOS unikernels

S-expression swiss knife

Match compilation algorithm in OCaml

Command-line client for Elasticsearch written in OCaml

A platform-agnostic multi-level index

Minimal support for Canonical S-expressions

Ocaml modular spam filter