Best open-source OCaml projects

A robustly typed language from the ML family that compiles to fast, readable JavaScript, with TypeScript type generation and easy JS interop.

An OCaml library for building computations that update efficiently when their inputs change, based on self-adjusting computation.

Open-source genealogy software written in OCaml that runs a family-tree database with a web interface, locally or as a server.

A Linux profiler that uses Intel Processor Trace to record every function call in a process and display them on an interactive timeline.

Unison is a cross-platform file synchronizer that propagates changes between two replicas of a directory tree, flagging conflicts for review.

Runs Terraform and OpenTofu from pull requests, with state stored as a dependency graph in PostgreSQL instead of a state file.

A static analysis tool that finds bugs in Java, C, C++, and Objective-C code without running it.

An open-source static code analysis engine, a fork of Semgrep, for finding security issues and code patterns with semantic grep rules.