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

FUSE filesystem over Google Drive

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…

A language that compiles to Bash and Windows Batch

Tools for code analysis, visualizations, or style-preserving source transformation.

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

A composable build system for OCaml.

Context sensitive completion for OCaml in Vim and Emacs

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.

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

V2 of Real World OCaml

Jane Street Capital's standard library overlay

A toolkit for embedding VPN capabilities in your application

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

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

Compiler from OCaml to Javascript.

A library for incremental computations

Universal toplevel for OCaml

OCaml Language Server Protocol implementation

Multicore OCaml

Auto-formatter for OCaml code

Parser combinators built for speed and memory efficiency

A language server for reason, in reason

GraphQL servers in OCaml

the core 0install package

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

Batteries Included project

moved from https://sourceforge.net/p/min-caml/code/

OCaml DSL for verifiable computation