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

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

Performant type-checking for python.

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

Unison file synchronizer

MirageOS is a library operating system that constructs unikernels

Tidy, feature-complete Web framework

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

Compiler from OCaml to Javascript.

Standard library for OCaml

Universal toplevel for OCaml

Sinatra like web toolkit for OCaml

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

Multi-tier framework for programming web and mobile applications in OCaml.